Should I Donate SDL3 library to LeanProver-Community?

Stream: mathlib4

[Srayan Jana]

Hey all!
Idk if this is best place to post this since this is specifically for mathlib4, but hopefully this applies to the broader organization as well.
I don't see myself stopping work on the SDL3 bindings for a while yet, but I do think that as the library matures, it would probably be a good idea to donate the library to a larger organization that can take care of it properly.
This doesn't have to happen right away, but it would be nice to do so in the future.
Would you all be interested? I made a github issue on my repository page for this:
https://github.com/ValorZard/lean-sdl3/issues/7

[Srayan Jana]

I would also like to make a blog post or something on the Lean Community page in the future where I go through a tutorial using this library if you would all be interested.

[Ruben Van de Velde]

I think the first question is whether there's anyone else interested in maintaining it

[Srayan Jana]

Yeah thats also something to think about