From: Stefan Beller Date: Tue, 15 May 2018 21:15:07 GMT Subject: What would travis do? Message-ID: Hi, in a context unrelated to Git, I found https://github.com/grosser/wwtd ("What would travis do?"), which may be interesting for those who tweak the travis file. Just for your information, Stefan