Content: Infra: Enable the “Automatically delete head branches” option, to cause a pull-request branch to get automatically deleted after the pull request is merged

[sideshowbarker]

At https://github.com/mdn/content/settings, at the end of the Merge button section, there’s a setting:

This is a request to consider enabling that “Automatically delete head branches” option.

[chrisdavidmills]

Sounds good to me, but I'll request a second opinion first. What say you, @escattone ?

[escattone]

@chrisdavidmills @sideshowbarker Sorry for the delay! I'm slowly catching up with a backlog of email/tasks. I didn't even realized that option existed! I like it!

[escattone]

Done! ✅