Reply to thread

Having an ugly history in GIT is less serious than having some code that wont belong there. Just remember to revert instead of reseting one commit in master and then force pushing to public