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

make my vacation permanent #1051

Merged
merged 1 commit into from
Aug 22, 2023

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Aug 21, 2023

working on rust has not been healthy for me for a while. if i do work on it in the future, i want it to be because it's fun, not because i feel obligated, and having r+ permissions doesn't help with that.

working on rust has not been healthy for me for a while. if i do work on
it in the future, i want it to be because it's fun, not because i feel
obligated, and having r+ permissions doesn't help with that.
@onur-ozkan
Copy link
Member

I really enjoyed working together with you. I hope we have the opportunity to work again in the future. Wish you best luck!

@Kobzol
Copy link
Contributor

Kobzol commented Aug 21, 2023

Thanks a lot for all your amazing work on Rust and your mentorship! <3 I wish you all the best.

@m-ou-se
Copy link
Member

m-ou-se commented Aug 21, 2023

I'm sad to see you leave, but also very happy to see you're prioritizing health and enjoyment. <3 Thanks for everything. 💛

Copy link
Member

@Mark-Simulacrum Mark-Simulacrum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@Mark-Simulacrum Mark-Simulacrum merged commit 8e67242 into rust-lang:master Aug 22, 2023
1 check passed
@jyn514 jyn514 deleted the so-anyway-i'm-leaving branch August 22, 2023 01:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants