What would travis do?
From: Stefan Beller <hidden>
Date: 2018-05-15 21:15:16
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