mathlib PR's

Stream: general

[Kevin Buzzard]

I don't understand how to make a mathlib PR any more. I used to make a new branch on leanprover-community/mathlib and then open a PR request to leanprover/mathlib. Now I have write access to non-master branches on what is the main mathlib repo. How does it work now?

[Johannes Hölzl]

Nearly the same, just that you open the PR on leanprover-community/mathlib against the master branch

[Kevin Buzzard]

OK thanks; I didn't know you could open a PR for a branch on the same project. I've only done it from a fork before.