stable branch

Stream: std4

[Scott Morrison]

I've just created stable branches for both Mathlib and Std, with the intention that these will be updated to each new v4.X.0 tag on these repositories (i.e. the first moment at which the repository starts using the new toolchain).

[Scott Morrison]

@Mario Carneiro, would you mind adding a branch protection rule for stable on Std, so that only admins + me can push to it?

[Scott Morrison]

I will make a bit of an announcement song and dance about these when v4.2.0 lands next week.

[Mario Carneiro]

std doesn't really use branch protection rules, except that main requires builds to pass

[Mario Carneiro]

if you have write access you are already a privileged user under the std permissions model

[Patrick Massot]

Will 4.2.0 include the recent simp fixes?

[Scott Morrison]

@Patrick Massot, no, it won't. They will arrive on v4.3.0-rc1, probably next Monday, but will not become part of a stable release until the end of November.

[Scott Morrison]

(i.e. Mathlib and Std will hopefully have them on Monday)

[Scott Morrison]

The rule for v4.X.0 is that it is identical for v4.X.0-rcMAX. So v4.2.0 will be identical to the current v4.2.0-rc4 ( :fingers_crossed: for lake emergencies).

[Patrick Massot]

Ok, that's perfect. I don't care about stable releases, I only care about the version used by Mathlib.

[Scott Morrison]

I'm a bit concerned still that the recent changes to simp will require more follow up changes, so when they land I encourage everyone to stress test them. We can likely have an v4.3.0-rc2 to adjust.