This is the legacy version of We will be shutting it down on 15 December 2020. Please switch to a supported browser or device. You can see a list of supported browsers in our Help Center.
Peter Todd 2 May 16
Replying to @peterktodd
Remember all git commits in master are PGP signed; you can and should check this with git log --show-signature rather than trusting github.