It would be nice if we could delete the branch when closing a PR. We get left with a lot of stale branches on GitHub – not a major issue ofc, but an annoyance.

Hey Evan thanks for the shout! make sense to me. Ive seen a number of customers use a simple automation to handle this IE

on:
  pull_request:
    types: [closed]
...
if: |
      github.event.pull_request.merged == false && 
      github.event.pull_request.head.ref != 'main'
...

ok, I guess that can work! thanks