automatic migration: travis-to-github #12

Closed plicease-bot closed 3 years ago