Duckumentation for Robotariums around the world.
First, create a fork (top right of this page).
Then, clone your own fork using
git clone <your_fork_url>
As soon as this is done, change directory into the cloned fork and do
source init.sh
You're ready to go!
Compile changes by executing
make compile