Create "delete branch on merge" GitHub action
Create "delete branch on merge" GitHub action

Will delete branches for PRs that have been merged.

[skip ci]

kulibali/ponyc,cquinn/ponyc,jemc/ponyc,sgebbie/ponyc,cquinn/ponyc,sgebbie/ponyc,dipinhora/ponyc,ponylang/ponyc,jemc/ponyc,sgebbie/ponyc,kulibali/ponyc,sgebbie/ponyc,kulibali/ponyc,ponylang/ponyc,ponylang/ponyc,dipinhora/ponyc,jemc/ponyc,cquinn/ponyc,dipinhora/ponyc,cquinn/ponyc,sgebbie/ponyc,kulibali/ponyc