travis

2020-07-12 Decrypt travis file in github repository