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

remove dchudz as a player #67

Merged
merged 2 commits into from Jan 23, 2019

Conversation

Projects
None yet
6 participants
@dchudz
Copy link
Contributor

dchudz commented Jan 20, 2019

I don't think I'm really going to play. Thanks everyone.

remove dchudz as a player
I don't think I'm really going to play. Thanks everyone.
@pavellishin
Copy link
Collaborator

pavellishin left a comment

you stay and finish what you STARTED

@pavellishin
Copy link
Collaborator

pavellishin left a comment

just kidding, thanks for playing

@tnelling tnelling added the reviewme label Jan 20, 2019

@vesche vesche self-requested a review Jan 20, 2019

@vesche

vesche approved these changes Jan 20, 2019

@jeffkaufman
Copy link
Owner

jeffkaufman left a comment

Sorry to lose you!

@dchudz

This comment has been minimized.

Copy link
Contributor Author

dchudz commented Jan 22, 2019

I can't leave without 1 more person's OK

@jeffkaufman

This comment has been minimized.

Copy link
Owner

jeffkaufman commented Jan 22, 2019

Funny: we have 6 of 9 approvals so this should be able to go in, except once we lose David we have 5 of 8 approvals. Which means while this PR validates on master it doesn't validate on the branch.

@jeffkaufman

This comment has been minimized.

Copy link
Owner

jeffkaufman commented Jan 22, 2019

@dchudz would you mind approving #68 and #69 (removing other inactive players) before you go?

@tnelling tnelling referenced this pull request Jan 22, 2019

Closed

I made a dashboard #64

@dchudz

This comment has been minimized.

Copy link
Contributor Author

dchudz commented Jan 23, 2019

merged #68 and #69, and merged master into this PR, so now it should pass after people approve again

@jeffkaufman jeffkaufman referenced this pull request Jan 23, 2019

Merged

switch to named bonuses #47

@vesche

vesche approved these changes Jan 23, 2019

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