Hello all, At the last JEP office hours we discussed ways to comment on and ask questions about JEPs when there isn't a PR currently open. We looked at making edits to add comments or annotations.
We also discussed a few other potential changes to the JEP process such as https://github.com/jenkinsci/jep/pull/162. That discussion is still open. The video from the last meeting can be seen here: https://youtu.be/ZvIKI3s6bfU Does anyone have topics they'd like to discuss in the JEP Office Hours tomorrow? If so, please respond to this thread or add comments to the agenda here: https://docs.google.com/document/d/1gWyaJ189n1fKkJS33xdK80PTY1jp11Tg3tWsQtFdyck/edit?usp=sharing Thanks, Liam Newman -- 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/644080a3-62c8-479c-81ef-8d6f51553cab%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.