Currently, it is manually done. You need to log into the server, check out the updates from GitHub, compile, copy, and start the process.
Plans
Automate the process as much as possible. Ideally, fully automate from GitHub, i.e., when a tag to a commit is pushed to GitHub, the commit will be automatically pulled to the server and the process will be restarted with the update.