New release 2.4.0 #33
Conversation
|
@erikmd @hoheinzollern any clue why the master branch is protected? |
|
No clue |
|
Hi @hoheinzollern @CohenCyril thanks for the ping! I am also puzzled to see I'll investigate ASAP |
|
The current setting that is applied since a long time, is that master is protected so that 1. one cannot force-push master (which is a fairly standard setting) and 2. only docker-mathcomp's Maintainers team can merge a PR in docker-mathcomp (as they automatically belong to the bypass list). But I see this in the Rulesets settings:
So I suspect that someone in the math-comp admins deleted or renamed a team. Let me know if you know which math-comp GH team could be added in this bypass list, instead of Meanwhile, I added both of you @CohenCyril @hoheinzollern with the Admin (> Maintain) role, cf. this. |
|
I can see that you added me @erikmd, thanks, should I then self-merge? |
|
Yes, feel free! — so you'll be able to check that the merge/bypass permissions are fine with your account as well. |
Cc @CohenCyril @hoheinzollern @proux01 FYI Follows-up: rocq-community/docker-coq#79 Follows-up: rocq-community/docker-rocq#13 Follows-up: rocq-community/docker-rocq#11 Follows-up: rocq-community/docker-rocq#14 Follows-up: math-comp/docker-mathcomp#33 Follows-up: math-comp/docker-mathcomp#34
No description provided.