Re: Disambiguate and document the merge/close process

2023-03-03 Thread Basil Crow
On Thu, Feb 9, 2023 at 4:54 PM Basil Crow wrote: > > I would like to bring this proposal to a conclusion by March. https://github.com/jenkinsci/jenkins/pull/7516 has been approved; if nobody objects by March 15, I'll assume lazy consensus and merge it. -- You received this message because you

Re: Disambiguate and document the merge/close process

2023-02-10 Thread Oleg Nenashev
Thanks for working on it, Basil! I think the pull request documents the current process well, and I support merging it in the current form On Friday, February 10, 2023 at 1:55:18 AM UTC+1 m...@basilcrow.com wrote: > Over the past few months and especially during Hacktoberfest, I have > observed

Disambiguate and document the merge/close process

2023-02-09 Thread Basil Crow
Over the past few months and especially during Hacktoberfest, I have observed several cases where the Jenkins core contribution process did not go as smoothly as it could have gone. After thinking deeply about several examples, I concluded that the existing process contains several ambiguities