In order to write code for the arduino part of the project you need to make sure that you have the Arduino IDE installed.
Once you have the IDE installed you need to make sure that you add all the zip files stored in the Libraries to install folder to your IDE by selecting sketch and then include library.
If you add any code that uses a external library make sure you download it as a zip file an put it in the above mentioned folder so that other programmers can install all the necesarry libraries to upload the code to the Arduino.
If you need to make changes to the code obtained from the third party library then unzip the library and include all its source files in the src folder within the repository.
The push cmd file is a convenient command for git users so they can commit changes easily.
It will add any changes you have made, create a commit with the message you want, and it will push the changes to the server.
To use it just open a command terminal in the root folder of the project. Then type ' push "insert comment here" ' without the quotation marks.
This will then execute all the steps I mentioned and create a new commit in your repository with the message " insert comment here " :)