All, It has been a while since we had the discussion of moving towards GH issues, and as those are coming in, I propose we shut down our use of the JIRA tracker.
- no more new tickets - no work on existing tickets I propose we close all tickets with the message: "If this is still important to you, please create a new ticket in GH" This will clean up considerably, we won't be getting any new requests for new accounts, and hopefully we get more contributors. We could also spend a couple of tokens to let AI do a migration of a couple of tickets (but then the original reporter goes away, which would be the same issue if we did an export/import, as there is no 1-1 mapping between jira and github account). Thoughts? I want to set this into motion next week (10-11 sept). Martijn
