Re: [INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-07 Thread Matthias Bünger
Update: I was to slow. Slawek already had a PR opend to update it. Was merged just now :) Am 07.06.2025 um 11:53 schrieb Matthias Bünger: Hi Xeno, thanks for pointing me to that file in the Maven core repository. (from randomly looking at 10 other repos, it looks they don't have such a file)

Re: [INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-07 Thread Matthias Bünger
Hi Xeno, thanks for pointing me to that file in the Maven core repository. (from randomly looking at 10 other repos, it looks they don't have such a file). Will update it later! Matthias Am 07.06.2025 um 10:04 schrieb Xeno Amess: Thanks, glad to see github issues open. Still have some quest

Re: [INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-07 Thread Olivier Lamy
Hi, Thanks for the hard work. I was thinking about something we could do to help/notify users who took the time to create issues, such as informing them by adding a link to the GH issue in the Jira issue as a comment. Besides that, users will have no information on where to follow up with their iss

Re: [INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-07 Thread Xeno Amess
Thanks, glad to see github issues open. Still have some questions about the current workflow. Would you please update the CONTRIBUTING.md also? because I'm not sure if a jira ticket is still needed if we wanna some feature/bug fix (as the current CONTRIBUTING.md of branch master still say we shall

Re: [INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-07 Thread Guillaume Nodet
Thx a lot for the hard work Matthias ! Le ven. 6 juin 2025 à 17:22, Matthias Bünger a écrit : > Greetings everyone, > I want to give you all a status information about our progress to > migrate issues from JIRA to Github issues. > > As a reminder and for those who are not aware: > Last december

Re: [INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-06 Thread Hervé Boutemy
wow, great achievement! this will ease interactions with our community This is great to be able to continue to modernize infrastructure of a venerable and vast project like Maven and keep it up to date with evolution of practice (who remembers that Maven started with CVS? we did not even keep

[INFO] Phase 1 of JIRA to GitHub issues migration completed

2025-06-06 Thread Matthias Bünger
Greetings everyone, I want to give you all a status information about our progress to migrate issues from JIRA to Github issues. As a reminder and for those who are not aware: Last december we decided to migrate to Github Issues. Three of the reasons for this were * issues and source code ar