On Thu, Oct 2, 2025 at 9:22 PM Martin Grigorov <[email protected]> wrote:
> On Wed, Oct 1, 2025 at 5:31 PM Martijn Dashorst < > [email protected]> > wrote: > > > There is one caveat to moving to github issues: not everybody is willing > > or able to create an account at github (because of for example Microsoft > as > > the owner, or AI, or ...). We will loose out on those contributions. Not > > > > I don't really remember when was the last time someone attached a .patch > file to our JIRA. > Lately people who wanted to contribute did it via Pull Requests. > I am sure that is something that is about as rare as someone posting a patch the the dev-list :-) But just reporting an issue is more what I was thinking about. Not sure if that is actually an issue, but I know some of the European folks are weary of submitting more information and creating accounts on big tech platforms. It is most certainly something to consider and keep in mind. I still am in favor of migrating though, but I want us to take into account all considerations, not just the positive ones. Martijn
