Sync code changes go pepper
Somehow we need to sync and compile the changes to the code we make to pepper. I think it is best to have one repo for everything, to minimize complexity and to enable easy switching where the code is ran. I have a couple solutions in mind:
- basic solution
- ssh into pepper, start docker
- git clone whole repo
- remote launch using launch file from fetdatorn
- fancy solution
- a deploy script sends relevant changed fields (detect changes using git) from fetdatorn to pepper.
- if anything but python-files has been changed, the script starts building on pepper.
- remote launch using launch file from fetdatorn