A github mirror for travis-ci integration