Typo in mathlib documentation

Stream: new members

[Brendan Seamas Murphy]

I think there's a typo in https://leanprover-community.github.io/mathlib_docs/category_theory/whiskering.html#category_theory.whisker_right, it says whisker_right α F : (G ⋙ F) ⟶ (G ⋙ F) when (I think) it should have type whisker_right α F : (G ⋙ F) ⟶ (H ⋙ F). I wasn't sure what the process was to fix this so I'm posting it here

[Moritz Doll]

You should ask for access for pushing to non-master branches (the maintainers need to know your github username) and then you make a pull-request. For PR there is documentation on how to format everything here: https://leanprover-community.github.io/contribute/index.html

[Moritz Doll]

in this case it is also possible to use the shortcut of editing the file in github and creating a PR without pulling the branch on your local machine.