Tod Beardsley ae73cd3c6c Add a bash script to import dev keys ... This merely makes it easy and fun to import all developer keys used over the past year to your local GPG keychain. This will make the task of reviewing merge commits for signedness much easier, especially if you use a nicelog alias such as this one: https://github.com/todb-r7/junkdrawer/blob/master/dotfiles/git-repos/gitconfig#L40 This does not handle automating checking for signatures as part of Travis-CI -- for that, see PR #5337, a work in progress.		2015-05-13 10:29:55 -05:00
..
add_pr_fetch.rb	Rename add-pr-remote.rb to add_pr_fetch.rb	2015-03-24 17:05:43 -05:00
import-dev-keys.sh	Add a bash script to import dev keys	2015-05-13 10:29:55 -05:00
pre-commit-hook.rb	Add a top anchor to the file match regex.	2014-08-26 16:19:29 -05:00
set_binary_encoding.rb	chmod +x tools/dev/set_binary_encoding.rb	2015-03-24 17:10:31 -05:00