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 had a few issues with PRs being mangled (by github?) in this repo. I've reported the issues with github support, but meanwhile #4 seems to be holding up correctly.
What happened:
I've rebased some commits in the original PR ( Feat/pull mplex #1) to make it commitlint compliant
after pushing to the PR, github auto-closed the PR (claiming it was me), and didn't allow me to reopen it
creating a new branch and trying to create a new PR didn't work - github would present me with the old (closed) PR link and wouldn't allow me to create a new PR
How I fixed it:
I had to reclone the repo and manually delete the local and remote branches
after that I had to rebase the new branch with master, which allowed me to create a new PR
however, subsequent attempts to fix commit messages let to the same behavior, which required creating a new branch and PR every time.
I've contacted github support, and left a description of the problem. This has left 3 (#1, #2, #3) mangled PRs behind. Please disregard those. Sorry for the spam everybody.
The text was updated successfully, but these errors were encountered:
I had a few issues with PRs being mangled (by github?) in this repo. I've reported the issues with github support, but meanwhile #4 seems to be holding up correctly.
What happened:
How I fixed it:
I've contacted github support, and left a description of the problem. This has left 3 (#1, #2, #3) mangled PRs behind. Please disregard those. Sorry for the spam everybody.
The text was updated successfully, but these errors were encountered: