On 23/01/18 8:23 AM, Michael Bien wrote:
no they won't get merged automatically.
quote from Neil's notice mail:
> All open pull requests for NB17 will be pushed to NB18.
I've read that, and I read it again before sending the message.
Guess I read it as
"All unapproved pull requests..."
And I'm usually so literal...
The universe conspires so I'll run a custom version of NB.
-ernie
milestones are just a way to roughly organize PRs around deadlines.
-mbien
On 18.01.23 16:47, Ernie Rael wrote:
I would have thought that any approved PR with NB-17 milestone gets
merged. Guess not.
I didn't realize there was more politics after that.
-ernie
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@netbeans.apache.org
For additional commands, e-mail: dev-h...@netbeans.apache.org
For further information about the NetBeans mailing lists, visit:
https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@netbeans.apache.org
For additional commands, e-mail: dev-h...@netbeans.apache.org
For further information about the NetBeans mailing lists, visit:
https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
