On Thu, Sep 22, 2022 at 11:54 AM Basil Crow <m...@basilcrow.com> wrote:
>
> I am starting this thread to reach consensus on the technical side of
> this proposal; namely, migrating from ANTLR2 to ANTLR4 to decrease
> technical debt and facilitate compilation on Java 18 or newer.
To summarize our progress in this area, we have reached technical
consensus on the developer list and budgetary consensus with the
governance board, which voted in favor of this engagement at its
meeting on October 3, 2022. Oleg Nenashev has informed me that he is
unwilling to move forward until the process documented in JEP-15 is
followed; namely:
> Budget requests should be submitted to the developer mailing list and
> discussed there[;] the Governance meeting will be doing a formal
> approval/rejection based on the community feedback.
Whereas technical consensus has been reached on the developer list,
and whereas budgetary consensus has been reached with the governance
board; now, therefore, be it known that the preceding message
constitutes a formal budget request, and that this formal budget
request has been made to the developer mailing list pursuant to JEP-15
(at revision 023ed9f0) ยง 3.3.2 ("Use of donations"), line 175.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/CAFwNDjoZzavfBRqsq-O8owvimYOJcYgHGn%3DCEHaF%2Bj199SebQg%40mail.gmail.com.
