This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Skip filtering during push if there are no push actions#13992
Merged
erikjohnston merged 2 commits intodevelopfrom erikj/noop_filterSep 30, 2022
+12-2
