no they won't get merged automatically.
quote from Neil's notice mail:
> All open pull requests for NB17 will be pushed to NB18.
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: [email protected]
For additional commands, e-mail: [email protected]
For further information about the NetBeans mailing lists, visit:
https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
For further information about the NetBeans mailing lists, visit:
https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
