Move https://github.com/vorburger/MariaDB4j/ to https://github.com/MariaDB/ ?

Dear MariaDB community,

I'm the original creator (many years ago) and still active maintainer of https://github.com/vorburger/MariaDB4j, a project which refuses to die and on the contrary keeps getting end-user developer interest with issues, pull requests from strangers, etc.

The MariaDB community and the MariaDB4j project have previously had some (very light) touch points e.g. in CONJ-87 and MDEV-16836 and I believe occasionally over on Stack Overflow.

In the context https://github.com/vorburger/MariaDB4j/issues/213 (read the linked issues and my blog post...) and https://github.com/vorburger/MariaDB4j/issues/238, I was wondering whether you would have any interest / be willing to accept a move https://github.com/vorburger/MariaDB4j/ to under https://github.com/MariaDB/ ?

I would have no expectations of any "work" or active contributions from any of you. I would commit to continuing to engage on "my" project as I have for the past years when I can (in some periods more actively than others) - I'm not trying to "dump" this on you. Of course I would very much welcome contributions from existing MariaDB committers, I'm guess notably people working on mariadb-connector-j, as from anyone outside - but I'm not proposing this move expecting a sudden avalanche of PRs. I would be happy to promote anyone who has made a notable number of useful contributions as an additional commiter. (I would expect to be the initial committer privilege on the moved repo.)

For the record: MariaDB4j is a personal home project, always has been and always will be, and is in no way "endorsed" or supported by (or whatever else anyone may think) by where I (currently) work, which happens to be a very large professional open source company.

It's just a suggestion for discussion - I'm open to whatever the outcome!

Best,
M.