Skip to content

#1429: strip the exclusion mask after the dash, so '- org/repo' excludes the repository - #1457

Open
jack5505 wants to merge 1 commit into
zerocracy:masterfrom
jack5505:1429
Open

#1429: strip the exclusion mask after the dash, so '- org/repo' excludes the repository#1457
jack5505 wants to merge 1 commit into
zerocracy:masterfrom
jack5505:1429

#1429: strip the exclusion mask after the dash, so '- org/repo' exclu…

5bb00b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
actionlint
succeeded Oct 8, 2026 in 9s