Fwd: Re: Github pull requests not picked up by CI server

Ticket is solved. Your PRs are building. :) Weitergeleitete Nachricht Betreff:Re: Github pull requests not picked up by CI server Datum: Mon, 28 Dec 2015 08:37:55 +0100 Von:Pascal Schumacher Antwort an: dev@groovy.apache.org, dev@groovy.apache.org An: dev@g

Re: Github pull requests not picked up by CI server

Sorry I didn't see this email until the JIRA was already open or I would have jumped on it earlier. =) A. On Mon, Dec 28, 2015 at 2:37 AM, Pascal Schumacher wrote: > As it is still not working (I checked by force pushing a pull request) I > created a issue with infrastructure: > https://issues.