In other words, GitHub has useful tooling that breaks when commit history is rewritten