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

players: remove guoruibiao for inactivity #68

Merged
merged 1 commit into from Jan 23, 2019

Conversation

Projects
None yet
6 participants
@jeffkaufman
Copy link
Owner

jeffkaufman commented Jan 22, 2019

Looking at GitHub notification emails I think @guoruibiao hasn't participated in any way since 1/9.

@guoruibiao if you still want to play feel free to veto this PR, but then please check here or https://www.jefftk.com/nomic regularly and review things as they come up.

players: remove guoruibiao for inactivity
Looking at GitHub notification emails I think @guoruibiao hasn't participated in any way since 1/9.
@vesche

vesche approved these changes Jan 22, 2019

@dchudz

dchudz approved these changes Jan 23, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment