Pushed to wrong remote, revert "Try to test with travis CI"

This reverts commit cda2bd28484c9166366090abc3ba5a4361195e71.