A repository to demonstrate how GitHub fails to handle "git replace" history grafts