GitHub deployment script I use. Downloads the freshest artifact, extracts some files and copies them into place. Can also restart systemd services while doing so. GitHub API access tokens are read from ~/.netrc.