lean-3.31.0 branch is no longer tracking master

Stream: general

[Johan Commelin]

https://github.com/leanprover-community/mathlib/tree/lean-3.31.0 hasn't moved in a couple of days. Anyone know what's up?
cc: @Gabriel Ebner @Bryan Gin-ge Chen

[Gabriel Ebner]

Scheduled github actions only run for 30 days or so before human intervention.

[Gabriel Ebner]

I believe we need to press some button here in this repo: https://github.com/leanprover-community/azure-scripts

[Gabriel Ebner]

https://github.com/leanprover-community/azure-scripts/actions/workflows/branch_update.yml

[Gabriel Ebner]

You need to click on "enable workflow" here ^^^

[Johan Commelin]

done

[Gabriel Ebner]

And the branch is up to date again.

[Mario Carneiro]

What is the name of the staging branch for the upcoming version of lean? I created a lean-3.32.0 branch but this discussion sounds like the bot handles this branch specially

[Johan Commelin]

@Mario Carneiro yep, that branch name is forbidden. But you can use somehting like lean-3-32-0

[Mario Carneiro]

what does the bot do with the lean-3.x branches?

[Johan Commelin]

I think leanpkg uses them for dependency upgrades.

[Johan Commelin]

If you run leanpkg upgrade in some package like LTE, then it looks at the lean version you are using, discovers it is interested in lean-3.31.0 and then bumps mathlib to the lean-3.31.0 branch.
The bot automatically moves lean-3.31.0 along with master, until lean is bumped to a new version.