
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Aug 3, 2017, at 5:48 AM, Robert Helling <<a href="mailto:helling@lmu.de" class="">helling@lmu.de</a>> wrote:</div><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div class="">it seems, the recent switching to googlemaps broke the build on Travis CI (which means PRs do not get through).</div></div></div></blockquote><br class=""></div><div>PRs go through, they just are marked as having failed a test.</div><div><br class=""></div><div>The reason for the Travis failure is a bit silly. I should be able to fix that :-)</div><div><br class=""></div><div>(I tried to clone from <a href="mailto:git@github.com" class="">git@github.com</a> - which makes sense for me on my</div><div>machine, but of course doesn't work from Travis - nor would it work for</div><div>many other situations where people don't have a GitHub ID set up to work</div><div>like that)</div><div><br class=""></div><div>/D</div></body></html>