We have enabled the setting Automatically delete head branches in all GitHub repos in the crystal-lang org.
This is a quality of service feature for contributors to automate part of the housekeeping in their forks.
If you notice any issues with this setting, please let us know here.
In case a branch was deleted unintentionally, it can always be restored from the head ref of the PR.