How to use github and contribute How to use git How to use VSC Markdown cheat sheet San diego city robotics website Robotics repo