Does the Apache process allow merge from the PR itself on the GH side? If so, that seems a better approach to me. Too, considering a PR, from a submitters POV is generally an atomic operation, the logic in the PR should be addressed then merged as a whole. It would keep magic PR closing from happening when not expected. Too, it will limit folks missing messages in the PR.
Thanks Wade On Oct 11, 2017 06:38, "Matthias Bläsing" <[email protected]> wrote: > Hey, > > asfgit is a bot, that synchronizes the github and Apache git repositories. > > There was no automatic merge, I merged your changes, if I saw no problem. > For problematic changes I added a comment to the PR and die not merge > > Greetings > > Matthias > > > > Am 11. Oktober 2017 12:28:35 MESZ schrieb Geertjan Wielenga < > [email protected]>: > >Hi all, > > > >Someone appears to automatically (I guess a bot) be merging PRs after a > >couple of days of inactivity, i.e., if there are no comments etc, such > >as > >this one of mine: > > > >https://github.com/apache/incubator-netbeans/pull/103 > > > >Is that correct and what we want? I.e., nobody reviewed the above nor > >asked > >any kind of questions about it. > > > >Gj > > -- > Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail > gesendet.
