Merge pull request #249151 from tweag/direct-push-bot

Remove direct push detection GitHub action
NixOS · Aug 18, 2023 · 850d2b1 · 850d2b1
2 parents 6d9caf9 + 5ab9271
commit 850d2b1
Showing 1 changed file with 0 additions and 37 deletions.
diff --git a/.github/workflows/direct-push.yml b/.github/workflows/direct-push.yml