Commit d635c1f3 authored by Committed by Edward Z. YangBrowse files
A few bug fixes to our CI setup.
- Setup the ssh key for cabal-website deploy right before we use it, so it doesn't get clobbered by our pushbot deploy script. Furthermore, umask the key to 600, so that we can override it. - Add some more helpful information to the Pushbot commit messages, including what branch/PR the build was for, and a link to the relevant GitHub page. - Have Travis spoof the author and email of the original committer, so that Travis sends the build notification message to the right place. Signed-off-by: Edward Z. Yang <email@example.com>
Showing with 42 additions and 17 deletions