Add documentation on github setup?

Stream: new members

[mars0i]

Recently something slightly annoying happened when I set up a new Lean repo. Would it be possible to add documentation on lean-lang.org or leanprover-community.github.io that specified standard procedures and things to look out for when putting a new Lean repo on github? If someone suggests an appropriate place, I'll try to add text on what I know, but I don't know all I need to know. (@Eric Wieser provided some nice tips in an an earlier thread, #new members > Confused about proper way to set up git repo @ 💬. That's what I can add, and maybe others can add other information.)