Git and github are not change management tools (rewriting history in git) · HackerTrans