And done, thanks to sneaky admin access. =) A.
On Wed, Dec 2, 2015 at 12:38 PM, Andrew Bayer <[email protected]> wrote: > I've reset the job to use the new URL - should pick up the PRs now, but > I'll see if I can get it to retrigger the existing ones... > > A. > > On Wed, Dec 2, 2015 at 12:31 PM, John Wagenleitner < > [email protected]> wrote: > >> Looks like CI server is not picking up pull requests from github, may be >> related to changing the github project removing incubator. >> >> John >> > >
