Thanks Dima for cleaning up my mess. Next time I'll not use git when lying
in the bed with a flu ;-)
I guess the problem with the branch protection rules is that they actually
don't apply to maintainers because of " Do not allow bypassing the above
settings" is disabled. Not sure if we can
Hi,
I took the liberty to fix the develop branch by force-pushing 10.2.rc2
branch.
All should be in order now, and PRs can proceed.
A copy of the accidentally pushed to develop is here:
https://github.com/dimpase/sage/tree/develop_accidentally_pushed_to_
On Tue, Nov 14, 2023 at 9:43 AM Dima
On Tue, Nov 14, 2023 at 9:29 AM tobia...@gmx.de wrote:
>
> Hi everybody,
>
> I just accidentally pushed to the develop branch (instead of to a new branch
> in my fork). I'm very sorry! I leave it to the release manager to revert/fix
> it to not introduce more issues.
>
> What confuses me,
Hi everybody,
I just accidentally pushed to the develop branch (instead of to a new
branch in my fork). I'm very sorry! I leave it to the release manager to
revert/fix it to not introduce more issues.
What confuses me, however, is how this was possible in first place?! I
thought we had branch
