Configure GitHub repo delete merged branches automatically

[stv0g]

See: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches

[stv0g]

I think this needs to be done by @m-mirz or @dinkelbachjan as they are the repo owners and can change such settings.

[m-mirz]

done