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
