fix: allow deletion of PR branch - #16

Merged

aduh95 merged 6 commits into

nodejs:mainfrom

aduh95:delete-head-branch

Dec 12, 2024

Commits on Dec 4, 2024

fix: allow deletion of PR branch
aduh95
committed
20c88ab

Commits on Dec 10, 2024

Update .github/workflows/process.yml
aduh95
authored
343bf05
fine, let's keep the `closed` event
aduh95
committed
63649f9

Commits on Dec 11, 2024

fix `git push`
aduh95
authored
072d6fa
fixup! fix `git push`
aduh95
authored
108ad35

Commits on Dec 12, 2024

Update automation.md
aduh95
authored
6145f3b