Issues
- 14
Jeff leaving blocks most PRs
#269 opened by tnelling - 2
Dashboard is very slow to load
#263 opened by tnelling - 0
- 0
pep8 does not fail #250
#251 opened by tnelling - 3
ban sockpuppets?
#245 opened by jeffkaufman - 1
Did Jeff win again?
#235 opened by pavellishin - 2
- 6
- 4
Cross-game continuity
#221 opened by tnelling - 9
Again, again!
#218 opened by pavellishin - 7
jeffkaufman wins!
#217 opened by jeffkaufman - 9
Diplomacy! (the game)
#84 opened by pavellishin - 4
- 6
Play again?
#105 opened by jeffkaufman - 37
@csvoss wins!
#100 opened by jeffkaufman - 9
proposal: points promises
#96 opened by jeffkaufman - 1
proposal: add types
#81 opened by jeffkaufman - 4
Update the list of repo collaborators
#90 opened by tnelling - 8
New game?
#85 opened by jeffkaufman - 18
dchudz won
#83 opened by jeffkaufman - 25
I made a dashboard
#64 opened by jeffkaufman - 13
New Proposed Initial Ruleset
#62 opened by pavellishin - 9
- 0
- 0
- 3
Win condition: X days go by without a merge; winner is the author of the last merged PR.
#21 opened by pavellishin - 4
My thoughts and suggestions
#17 opened by jmitchell - 7
- 15
- 0
amusing tweet
#78 opened by pavellishin - 1
making travis send emails on failure
#74 opened by jeffkaufman - 9
Ensure everyone listed in players.txt is marked as a github repo collaborator
#16 opened by pavellishin - 4
Is the win condition "break Travis on master" or "break Travis on master and announce a winner"?
#51 opened by pavellishin - 2
Commit from #32 has a very innacurate timestamp
#55 opened by vesche - 1
PR 32 is still failing to validate
#41 opened by TheJhyde - 1
- 8
Read-only access to the repo's settings page
#42 opened by tnelling - 2
Merging in master Resets all the Votes
#40 opened by TheJhyde - 7
Any contributor can close a Github PR
#30 opened by pavellishin - 6
Handling of unresponsive players
#19 opened by jeffkaufman - 4
Relax rules for quitting
#25 opened by jmitchell - 0
made clones full-depth
#34 opened by jeffkaufman