Comment Comment by derefnull In other words, GitHub has useful tooling that breaks when commit history is rewritten parent derefnull 4 years ago