What about setting up the project on the raspberry as a remote repository It would allow us to do ```git push raspberry main``` Moreover, we could make a service who would build the project every time you make a push.