Re: [PR] update instructions to edit KEYS in Git [maven-parent]

2025-03-08 Thread via GitHub
hboutemy merged PR #453: URL: https://github.com/apache/maven-parent/pull/453 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@maven.a

Re: [PR] update instructions to edit KEYS in Git [maven-parent]

2025-03-08 Thread via GitHub
hboutemy commented on PR #453: URL: https://github.com/apache/maven-parent/pull/453#issuecomment-2708411229 another idea: we could probably ease PMC publication process with `mvn` and a `publish-keys` profile that copies to remote svn -- This is an automated message from the Apache Git Se

Re: [PR] update instructions to edit KEYS in Git [maven-parent]

2025-03-08 Thread via GitHub
hboutemy commented on PR #453: URL: https://github.com/apache/maven-parent/pull/453#issuecomment-2708145159 note for self: next step is to update https://ci-maven.apache.org/job/Maven/job/maven-box/job/maven-dist-tool/job/master/site/dist-tool-check-pgp-keys.html -- This is an automated m

[PR] update instructions to edit KEYS in Git [maven-parent]

2025-03-08 Thread via GitHub
hboutemy opened a new pull request, #453: URL: https://github.com/apache/maven-parent/pull/453 KEYS files history was imported from svn in #240 now we can have committers edit in Git like they do with any other committer content and PMC members publish to dist area https://dlc