Open mkoeppe opened 1 year ago
For Sage contributors, this should probably start with a PR that edit https://github.com/sagemath/website/blob/master/conf/contributors.xml to provide the Trac and GitHub account.
This seems the practical procedure: https://groups.google.com/g/sage-devel/c/C6z5kiwnXBA
According to the github doc, organization owners can send invites for membership and reclaiming mannequin accounts.
Related: I think any sagemath organization member should become a Triage team member, so that they can add labels, review PRs, and edit wiki. We may require some(zero or 1 or 2 or 3?) merged PRs as a precondition.
This procedures for membership and reclaiming mannequin accounts should be posted somewhere (wiki?) officially.
Hello. I would like to reclaim my mannequin, and I am not sure how to proceed despite trying several options mentioned in Matthias's original comment. I believe I am a member of both the main SageMath organization and the @sagemath/triage team. However, on Issue #33713, kryzar
is still listed as a mannequin. I would appreciate any assistance. Thank you.
@dimpase may send you an invitation.
Thank you @kwankyu and @fchapoton for your blazingly fast reaction time!
I am away from computers for another 12 hours, maybe @mkoeppe can do the invite earlier than me.
On Thu, 6 Jul 2023, 10:24 Kwankyu Lee, @.***> wrote:
@dimpase https://github.com/dimpase may send you an invitation.
— Reply to this email directly, view it on GitHub https://github.com/sagemath/trac-to-github/issues/173#issuecomment-1623314506, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAJXYHCQHQQOMC4MZ3C4WA3XOZ75JANCNFSM6AAAAAAUO4L5YE . You are receiving this because you were mentioned.Message ID: @.***>
May I also get an invitation to reclaim my account?
hmm, have already tried to reclaim your mannequin? I thought I sent you an invite, but it didn't work, yes?
And then I tried contacting GitHub support for help, but to no avail. Can you open a support ticket with them?
On Thu, 6 Jul 2023, 10:49 Risan, @.***> wrote:
May I also get an invitation to reclaim my account?
— Reply to this email directly, view it on GitHub https://github.com/sagemath/trac-to-github/issues/173#issuecomment-1623372614, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAJXYHGV7WN6UZ4SAMLCT4DXO2CZVANCNFSM6AAAAAAUO4L5YE . You are receiving this because you were mentioned.Message ID: @.***>
I just received (and accepted) an invitation to claim my account from @fchapoton (thank you), and my contributions (i.e., mannequin account) got claimed now. The invitation that I got from you was for the organization (unless I missed your invitation to claim my contributions). What @fchapoton just did seems to work.
Hello
I'd like to reclaim my sagetrac mannequin 'bouvier' ? (it appear, for example in https://github.com/sagemath/sage/issues/29164)
I'm not sure how to deal with the account name difference. If they were the same, then it's indeed just about accepting an invite to this github org team.
With the difference in the name, we don't have a sufficiently fancy GitHub subscription to do it ourselves. Probably we'll need to raise it with GitHub support. IIRC it was done few times already. Best done by an org owner.
We can probably do a mass edit of the trac-migrated issues, and change bouvier
(or sagetrac-bouvier
) to cyrilbouvier
, then an invite would to the job.
first one has to invite "cyrilbouvier" to be a member (done), then one can easily re-attribute the mannequin
I cannot invite anyone, somebody messed up my privileges. Please invite @cyrilbouvier
invited
I received and accepted the two invitations. Thanks you all.
As this mannequin-reclaim procedure is done from time to time, please @fchapoton comment about the steps that a contributor (and we) should take, and @mkoeppe post the steps in the issue description. As far as I know, this Issue is the first place contributors reach to reclaim their contributions.
We should provide information to our developers who could not react to the org invitations in time how to ask us to link the placeholder accounts to their real github account later.
Our org admins could then use this workflow (as per our github contact):