Proof of Github Retrospective