Proposal to transfer RoundingEmulator.jl to JuliaIntervals

[matsueushi]

Hello IntervalArithmetic.jl maintainers,

I am the original author of RoundingEmulator.jl, which is a dependency of IntervalArithmetic.jl. Since I am no longer actively using Julia, I would like to transfer the maintenance of RoundingEmulator.jl to the JuliaIntervals organization. Transferring it will ensure better long-term support.

1. If the JuliaIntervals maintainers agree, I will transfer the repository to JuliaIntervals.
2. After the transfer, I will update the repository URL in the General registry.
3. I will update the README and LICENSE files accordingly to reflect the new ownership.
4. I can provide support during the transition period if needed.

Would JuliaIntervals be interested in taking over maintenance of this package?
Please let me know your thoughts. I appreciate your time and consideration!

Best regards,
@matsueushi

[OlivierHnt]

Dear @matsueushi, we discussed this in our IntervalArithmetic meeting and everyone agrees with your proposal.
Let me know if you need any help with the process 🙂 !

[matsueushi]

Hi @JuliaIntervals maintainers,

First of all, thank you so much for discussing this and agreeing to take over the maintenance of RoundingEmulator.jl. I really appreciate your support!

I tried to transfer the repository to JuliaIntervals, but it looks like I don’t have the necessary permissions to complete the transfer.
From what I understand, both the current owner and the destination organization need the appropriate permissions for a transfer to go through.

Rather than requesting additional permissions for myself in JuliaIntervals, I think a safer approach would be to temporarily grant admin access to one of you in my repository (matsueushi/RoundingEmulator.jl), so you can handle the transfer from your side.

Could you let me know who would be able to take care of this, so I can add them as an admin?

Thanks again for your help! 🚀

[OlivierHnt]

It really is us thanking you for your amazing package! 🙂

Feel free to grant me those rights whenever, I'll do the transfer.

[matsueushi]

Thanks! I have just send the invitation.

[OlivierHnt]

Perfect, though it seems I only have "push access" for the moment.

[OlivierHnt]

You should be able to grant me the "admin role" by following these instructions.

[matsueushi]

Sorry, I’m unable to grant you admin access because GitHub does not allow me to change collaborator roles in a personal repository.

https://docs.github.com/en/account-and-profile/setting-up-and-managing-your-personal-account-on-github/managing-user-account-settings/permission-levels-for-a-personal-account-repository

It says

Repositories owned by personal accounts have one owner. Ownership permissions can't be shared with another personal account.

[OlivierHnt]

No worries! You can remove me, and we'll do it the other way around. I send you an invitation to be a member.

[matsueushi]

Thank you so much for the invitation!
I have just completed the transfer of the repository to the JuliaIntervals organization! 🚀

[matsueushi]

I have submitted the pull request to the General registry. Please feel free to reach out if there are any issues or if further changes are needed. I’ll be happy to assist!

[OlivierHnt]

Sounds good :) I'll close this issue then for the time being.