I should really find a better way to sync my devel machine and my rpi than using public git repos...