GitHub does not recognize changes from a reverted pull request GitHub does not recognize changes from a reverted pull request git git