Re: Procedure for committing a PR from a non-committer

2022-11-29 Thread Maarten Mulders
On 29/11/2022 22:22, Elliotte Rusty Harold wrote: https://github.com/apache/maven/pull/845 is IMHO ready to merge into core. This is from an external contributor. Can someone point me to or remind me of the steps for getting this PR to run in Jenkins? It has passed our Github CI checks. I don'

Procedure for committing a PR from a non-committer

2022-11-29 Thread Elliotte Rusty Harold
https://github.com/apache/maven/pull/845 is IMHO ready to merge into core. This is from an external contributor. Can someone point me to or remind me of the steps for getting this PR to run in Jenkins? It has passed our Github CI checks. -- Elliotte Rusty Harold elh...@ibiblio.org --