Question: would you consider transferring the `repo2env` PyPI name?

Hi @csadorf, @yakutovicha 👋

I'm Adithya, on the post-training team at Hugging Face. First off — thanks for `repo2env`; it's a neat tool and the AiiDAlab ecosystem around it is great.

Here's my question: we maintain an open-source project that turns any GitHub repository into a verifiable RL training/eval environment. It's currently on PyPI as [`repo2rlenv`](https://pypi.org/project/repo2rlenv/), but the name `repo2env` would fit what it does much more cleanly.

Since the PyPI package hasn't had a release since 2021, I wanted to check in: **would you be open to transferring the `repo2env` PyPI project name to us?**

A few notes to make this easy:
- Totally no pressure — if the name still has value to you or the AiiDAlab project, no worries at all and we'll happily keep ours.
- If you're open to it, I'm glad to handle all the logistics. PyPI supports this directly (adding us as an owner, or via PyPI's name-transfer process), so it'd be no hassle on your end.
- Happy to move this to email or a call if that's easier — whatever works for you.

Thanks for considering it!

— Adithya (Hugging Face)