Added doco re deleting a git-commit