Github revert to previous commit command line