diff options
| author | nessita <124304+nessita@users.noreply.github.com> | 2025-07-16 15:36:33 -0300 |
|---|---|---|
| committer | Natalia <124304+nessita@users.noreply.github.com> | 2025-07-16 15:37:08 -0300 |
| commit | fcc7c12f8013e389276ec33fab7a11935b0af37e (patch) | |
| tree | 3e98f9a16a0f7901de77464901e6639422e7d286 /docs/make.bat | |
| parent | c1883c3b20cf4d9d086f37adff9670f2f5424629 (diff) | |
[5.2.x] Fixed GitHub Action that checks commit prefixes to fetch PR head correctly.
Backport of 8499fba0e18826a77fe32cbc13a3d951d9ca8924 from main.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions