Also enhanced the test to make sure another git push fixes the git repository.