I don't know why the builders weren't triggered, but as it is was 3 month old PR, I directly cherry-picked the commit from master and built the entire project before pushing, rather than closing/reopening and eventually having to rebase it. El 26/05/2014 02:53, "Andrew Phillips" <notificati...@github.com> escribió:
> Hm...no PR builders? Interesting! > > — > Reply to this email directly or view it on > GitHub<https://github.com/jclouds/jclouds/pull/293#issuecomment-44150453> > . >
