Nevermind. I pushed again and it seems to have triggered this time. On Tue, Oct 30, 2018 at 2:51 PM, Kirk Lund <kl...@apache.org> wrote:
> I have a PR that I updated a while ago, but it's not automatically firing > a precheckin. > > What's the expected behavior? Is it supposed to automatically trigger a > precheckin if I push more changes? > > Here's my PR: https://github.com/apache/geode/pull/2730 > > PS: the PR isn't ready to actually merge, it's just the only way I know to > run a precheckin now > > Thanks, > Kirk > >
