datalayer/jupyter-server-nbmodel

Releasing a new version?

Closed this issue · 7 comments

Hi, would it be a good time to release a new pre-release? I can run the actions if that's ok.

Also, do you plan further developments on this repo?

Just checking back @echarles, is it ok for me to go ahead and cut a pre-release?

@krassowski Sure, please cut a release if it works for you

Thank you! It turns out while I can run the action, I cannot release:

Getting permission level for krassowski
User krassowski does not have admin permission

Do you plan to continue developing this extension?

I have given you temporary admin role.
Yes, we are working on this extension.

Hmm.. It looks like Step 2 failed:

***github.com/datalayer/jupyter-server-nbmodel.git
remote: error: GH013: Repository rule violations found for refs/heads/main.
remote: Review all repository rules at https://github.com/datalayer/jupyter-server-nbmodel/rules?ref=refs%2Fheads%2Fmain
remote:
remote: - Changes must be made through a pull request.
remote:
To https://github.com/datalayer/jupyter-server-nbmodel.git
 * [new tag]         v0.1.1a2 -> v0.1.1a2
 ! [remote rejected] HEAD -> main (push declined due to repository rule violations)
error: failed to push some refs to 'https://github.com/datalayer/jupyter-server-nbmodel.git'
Traceback (most recent call last):

https://github.com/datalayer/jupyter-server-nbmodel/actions/runs/13585412125/job/37979163725

Ah, I see there were two sets of branch protection rules, one defined via Rules (with bypass for Releaser):

Image

and one via Branches (which does NOT support bypass):

Image

GitHub UI is super confusing here. I fixed it by removing the duplicate "Require a pull request before merging" from Branch-level rule while keeping both rules (though personally I don't think both are needed).

https://github.com/datalayer/jupyter-server-nbmodel/releases/tag/v0.1.1a2 is out on PyPI (https://pypi.org/project/jupyter-server-nbmodel/) you can now donwngrade my rights - thank you!

GitHub UI is super confusing here

I think this is because they first implemented branch protection rules and found them insufficient and then added rulesets as a more flexible feature. So now every now and then we find conflicting config in various repos because the UI for these two is disjoint. This kind of supports my intuition: https://stackoverflow.com/questions/79292201/what-are-the-practical-differences-between-github-rulesets-and-branch-protection