Here are some useful instructions for setting up proxies and contributing to Xilinx github repos:
https://github.com/Xilinx/XilinxTclStore/wiki/Contributor-Setup-Steps
To clone this repo - go to a new directory you want to clone into and:
git clone https://github.com/Xilinx/revCtrl.git
git add <file>
git commit -m "made my changes to <file>"
git push -u origin master
git pull
git checkout <file>
git status
git log <file>
git reset