Closed SimonCropp closed 1 month ago
@Evangelink can we turn on "delete pr branch on merge" for this repo?
It's already setup but the fact you are asking the question makes me think something isn't working:
@Evangelink can we turn on "delete pr branch on merge" for this repo?