Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Link to Jakub's github 404's #162

Closed
edunham opened this Issue Aug 4, 2015 · 10 comments

Comments

Projects
None yet
4 participants
@edunham
Copy link
Member

edunham commented Aug 4, 2015

@steveklabnik

This comment has been minimized.

Copy link
Member

steveklabnik commented Aug 7, 2015

They probably just deleted their GitHub account. I would just not look into it further.

@edunham

This comment has been minimized.

Copy link
Member Author

edunham commented Aug 7, 2015

@steveklabnik It bugs me to have a broken link on the page. Is there any way of getting in contact with them to find updated information we should be publishing?

@steveklabnik

This comment has been minimized.

Copy link
Member

steveklabnik commented Aug 7, 2015

I would argue we should just remove the link. People who delete their account do so for a reason, and if they haven't let us know, I'd think it'd be bad to try to hunt them down or something.

@edunham

This comment has been minimized.

Copy link
Member Author

edunham commented Aug 7, 2015

Remove the link and leave his name, or remove all reference to him? I was under the impression that being listed as part of a team was partly to enable community members to get in touch if they have questions, and posting someone's name with no contact information does not enable that.

If the fix is to remove him from the page entirely, that seems like effectively removing him from the team, and should probably be the decision of the core team (?).

I guess that the ideal solution would be to document expectations about subteam participation in a way that clarifies what we'll do when an account gets deleted.

@steveklabnik

This comment has been minimized.

Copy link
Member

steveklabnik commented Aug 7, 2015

If he, as a person, has just dropped out of open source and Rust, then he should just be removed from the page. Does anyone in @rust-lang/compiler know if @jakub- is still around under a different name?

@nikomatsakis

This comment has been minimized.

Copy link
Contributor

nikomatsakis commented Aug 10, 2015

I've heard nothing from him, I'm inclined to just remove the link for the time being.

@edunham

This comment has been minimized.

Copy link
Member Author

edunham commented Aug 10, 2015

At Niko's recommendation on IRC, I took the policy questions over to internals. It also explains why I don't think "just delete the link" is a viable solution.

@Diggsey

This comment has been minimized.

Copy link

Diggsey commented Aug 10, 2015

Based on some googling, he seems to have also deleted his twitter and secondary github account, as well as possibly invoking the "right to be forgotten", although that could have been for someone else with the same name.

@edunham

This comment has been minimized.

Copy link
Member Author

edunham commented Aug 10, 2015

Talked to @aturon about this and he suggested emailing Jakub directly to ask what he'd prefer. I pulled 2 email addresses from the Git history and sent them a note checking in and asking what he'd like us to do about the broken link. I'll update this ticket if I hear back from the one that didn't bounce.

@edunham

This comment has been minimized.

Copy link
Member Author

edunham commented Aug 11, 2015

Jakub replied to my email and indicated that his profile should be removed from the compiler team page. PR incoming.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.