PHP's Git server compromised, moving to GitHub
commits history have following:  - 8d743d5  Revert "Revert "Revert "[skip-ci] Fix typo"""
  - 2b0f239          Revert "Revert "[skip-ci] Fix typo""
  - 046827a                  Revert "[skip-ci] Fix typo"
  - c730aa2                          [skip-ci] Fix typo