OK, so I did a PR (https://github.com/apache/incubator-netbeans/pull/103), expecting it to be reviewed before someone would manually merge it.
AFAIK, I never merged it myself, I only created a PR. How come was it merged? Gj On Wed, Oct 11, 2017 at 11:29 AM, Daniel Gruno <[email protected]> wrote: > On 10/11/2017 12:28 PM, Geertjan Wielenga wrote: > > 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 > > > > asfgit is the synchronization user for the ASF on GitHub. > If you merge code related to a PR, then asfgit gets put as the user > closing the PR or Issue. > >
