Push to do nothing
Urf… I hoped I could cut out Googles SDK and simply git push to update my HUD. The web is still littered with reference to this option being new in 2014. Turns out it was disabled a while later (oh Google) and you can only use git for filetranser, not deployment. For that one must use again another tool, which of course is way overkill for what I need to do (’enable’ hud.php). Useless!