Github - How to use shared code

Many teams share code on Github. So, how can this code be used by a robotics team? How is it downloaded and uploaded into a coding program (VCS or PROS)?

I wrote half a guide here:

Basically, git can track and manage any type of file. However, it works best with text files (PROS or VEXCode - not VCS). You can then sync your git repository online with GitHub.
Read other guides on GitHub if you want to learn more.


If your students are familiar with the command line, using the git command. If not, there are a whole plethora of Graphical Interfaces they can use. In most cases, they don’t need to use any of the more complex features of git. Simple commit and push is good for 80% of situations.

1 Like