slight change to try and kick off build

For some reason, for the last 2 or 3 attempts, Travis has not been able to retrieve the merger information from github.