geode-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Kirk Lund <kl...@apache.org>
Subject Re: Pull request precheckin not firing automatically
Date Tue, 30 Oct 2018 23:16:13 GMT
Nevermind. I pushed again and it seems to have triggered this time.

On Tue, Oct 30, 2018 at 2:51 PM, Kirk Lund <klund@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
>
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message