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

Commits

  1. Commits on Oct 8, 2026