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
Since we decided to delay 4.0 to include the fixes from the bug bounty, I changed the default branch back to v4.0/dev and after merging the little work on v4.1/dev, I deleted the v4.1/dev branch. What I didn't know is that deleting this branch made GitHub auto-close all PRs to v4.1/dev with no way to re-open them.
Unfortunately, there seems no way other than re-submitting the PRs based on v4.0/dev branch. I pinged all the authors asking them to re-submit their PRs based on v4.0/dev.
This issue tracks that all v4.1/dev PRs are re-submitted on v4.0/dev:
Uh oh!
There was an error while loading. Please reload this page.
Since we decided to delay 4.0 to include the fixes from the bug bounty, I changed the default branch back to
v4.0/dev
and after merging the little work on v4.1/dev, I deleted the v4.1/dev branch. What I didn't know is that deleting this branch made GitHub auto-close all PRs to v4.1/dev with no way to re-open them.Unfortunately, there seems no way other than re-submitting the PRs based on
v4.0/dev
branch. I pinged all the authors asking them to re-submit their PRs based onv4.0/dev
.This issue tracks that all v4.1/dev PRs are re-submitted on
v4.0/dev
:The text was updated successfully, but these errors were encountered: