3 ms·
But how do you know who pushed a given commit? I don't think it is recorded in the Git repository. I agree that "to the extent that you trust GitHub and its la
by kevincox 3y ago
But how do you know who pushed a given commit? I don't think it is recorded in the Git repository.
I agree that "to the extent that you trust GitHub and its lack of bugs" is a big caveat. But it sill seems better to have this information than not to have it.
- cryptonector 3y agoWho pushed the commit, IIRC, is metadata that's not on the Merkle hash tree -- it can't be on the Merkle hash tree without there being a commit for the push of the other commit, since anyone can push, but an authored commit is immutable.