Closed stv0g closed 2 months ago
See: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches
I think this needs to be done by @m-mirz or @dinkelbachjan as they are the repo owners and can change such settings.
done
See: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches