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
I have learned the hard way that we need to more fully reverse github_lock_branch() in order to be able to delete a branch later. Learned with a PR branch. Won't come up often IRL because we will mostly lock / unlock `main`. But still better to leave things as we found them.
0 commit comments