PHP's Git server compromised, moving to GitHub
commits history have following:<p><pre><code>  - 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</code></pre>