You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
stack-pr generates remote branches in the form <user>/stack/# when you submit a stack. In 7cbd8ab it was asserted that Github deletes remote branches automatically. This only seems to be true if Automatically delete head branches setting is configured on the project. This does not seem to be a default. At present, stack-pr will leave these intermediate stack branches behind on the remote. stack-pr should query this setting if possible, and err on the side of removing resources (refs) it creates.
The text was updated successfully, but these errors were encountered:
Version: 0.1.3
stack-pr generates remote branches in the form
<user>/stack/#
when you submit a stack. In 7cbd8ab it was asserted that Github deletes remote branches automatically. This only seems to be true ifAutomatically delete head branches
setting is configured on the project. This does not seem to be a default. At present, stack-pr will leave these intermediate stack branches behind on the remote. stack-pr should query this setting if possible, and err on the side of removing resources (refs) it creates.The text was updated successfully, but these errors were encountered: