ignore github repositories which aren't built by travis

It looks like the API from travis has changed recently.