Closed jschueller closed 2 years ago
I see the user @bollie has admin privileges on that repo. The commits in the repo come from @JanGutter and you referenced @JanGutter in this ticket. Both users seem to have the same name. Are they the same person with 2 accounts or was there a mixup when the repo was moved to this org?
this is the same person with a new account, this is clearly mentioned here: https://github.com/bollie
Hi, apologies yeah, I should own both accounts. I thought I transferred everything from @bollie to @JanGutter, but I obviously forgot about this. Let me try logging in to my old account again.
On Fri, 16 Sept 2022 at 13:19, Doug Hellmann @.***> wrote:
I see the user @bollie https://github.com/bollie has admin privileges on that repo. The commits in the repo come from @JanGutter https://github.com/JanGutter and you referenced @JanGutter https://github.com/JanGutter in this ticket. Both users seem to have the same name. Are they the same person with 2 accounts or was there a mixup when the repo was moved to this org?
— Reply to this email directly, view it on GitHub https://github.com/sphinx-contrib/github-administration/issues/29#issuecomment-1249295405, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAGBUBA2QQ5FMNHUVE4GXODV6RQVPANCNFSM6AAAAAAQOCH5WE . You are receiving this because you were mentioned.Message ID: @.***>
I assume you got sorted. Please reopen this if there is still an issue.
hi, @JanGutter the maintainer of https://github.com/sphinx-contrib/imageembed claims he no longer has permissions on the repository
could it be possible to re-add him (and/or me eventually) so new PRs can be merged ?