What would travis do?

[Stefan Beller <sbeller@xxxxxxxxxx>]

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