release: use 0xlong GPG IDs

Author: borsboom

doc/MAINTAINER_GUIDE.md

@@ -89,7 +89,7 @@ for requirements to perform the release, and more details about the tool.
       [stack-installer README](https://github.com/borsboom/stack-installer#readme)
 
 * Push signed Git tag, matching Github release tag name, e.g.: `git tag -u
-  9BEFB442 vX.Y.Z && git push origin vX.Y.Z`
+  0x575159689BEFB442 vX.Y.Z && git push origin vX.Y.Z`
 
 * Reset the `release` branch to the released commit, e.g.: `git checkout release
   && git merge --ff-only vX.Y.Z && git push origin release`

etc/scripts/release.hs

@@ -51,7 +51,7 @@ main =
             gGitRevCount <- length . lines <$> readProcess "git" ["rev-list", "HEAD"] ""
             gGitSha <- trim <$> readProcess "git" ["rev-parse", "HEAD"] ""
             gHomeDir <- getHomeDirectory
-            let gGpgKey = "9BEFB442"
+            let gGpgKey = "0x575159689BEFB442"
                 gAllowDirty = False
                 gGithubReleaseTag = Nothing
                 Platform arch _ = buildPlatform