Hey HN -- one of the creators here. I saw a few people mention this in the comments and want to re-iterate: this is NOT a bug on GitHub. This is a feature of Git that GitHub has to support because we often need to push commits on behalf of other users.
However -- this does illustrate a clear reason why it sometimes makes sense to PGP-sign your releases/commits.