Skip to content

Commit

Permalink
release: use 0xlong GPG IDs
Browse files Browse the repository at this point in the history
  • Loading branch information
borsboom committed Apr 6, 2016
1 parent ede4ee3 commit 447ba58
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion doc/MAINTAINER_GUIDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -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`
Expand Down
2 changes: 1 addition & 1 deletion etc/scripts/release.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 447ba58

Please sign in to comment.