debugging PHPCI github polling