This message was deleted.
# feature-requests
s
This message was deleted.
j
If you can enable the "Automatically delete head branches" setting on GitHub, this shoudn't be an issue — but we are also planning to add a banner for this case! cc @Xiulung Choy