I have my raspberry pi web server and my PC. How can I set it up so that on the pi there\'s a running git server and once I push the files to this git server, the web server