Removing forking as an option "How to Contribute"

Stream: new members

[Hunter Monroe]

Can I delete from "How to Contribute" the part about forking being an option? I tried that making a small change to a comment, and it would not build after doing a pull request to mathlib4. The normal way of making a branch worked immediately. So I would delete this: "Otherwise, you'll need to go to https://github.com/leanprover-community/mathlib4 and click "Fork" in the top right, to make your own fork of the repository." I can see how someone waiting for permission to branch might want to create a fork in the interim but not to do a pull request except from a branch.