Hi @janos.
Apologies for the late reply.
What you describe actually sounds right. Here is what happened:
I had 2 Github users:
paulvancoller
paulvancoller-adeptadvisory
I wanted to migrate them, so I deleted paulvancoller
, and renamed paulvancoller-adeptadvisory
to paulvancoller
.
So, if you are saying that a rename does not change your ID, it would make sense that paulvancoller
would have an id of paulvancoller-adeptadvisory@github
.
Would it then be possible for you to delete (or rename) the paulvancoller@github id, as this technically no longer exists on Github’s side?
Thanks
Paul