Skip to content

Remove direct push detection GitHub action#249151

Merged
infinisil merged 1 commit intoNixOS:masterfrom tweag:direct-push-botAug 18, 2023

Commits

Commits on Aug 14, 2023