Merge pull request #32 from jeffkaufman/player-scores

Player Scores
jeffkaufman · Jan 9, 2019 · 636fbf4 · 636fbf4
2 parents 183bc05 + cf04d94
commit 636fbf4
Show file tree

Hide file tree

Showing 10 changed files with 12 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -2,7 +2,9 @@
 
 ## Joining
 
-Make a pull request to add your github username to players/.
+Make a pull request to add your github username a file with your github 
+username as it's name to players/. The file should contain the number 10.
+Then ping Jeff so you can be added to the repo collaborators.
 
 If jeffkaufman doesn't add you to the list of repo collaborators, ping him to
 ask him to.  This will allow you to press the merge button yourself.

diff --git a/players/TheJhyde b/players/TheJhyde
@@ -0,0 +1 @@
+10
diff --git a/players/dchudz b/players/dchudz
@@ -0,0 +1 @@
+10
diff --git a/players/guoruibiao b/players/guoruibiao
@@ -0,0 +1 @@
+10
diff --git a/players/jeffkaufman b/players/jeffkaufman
@@ -0,0 +1 @@
+10
diff --git a/players/jmitchell b/players/jmitchell
@@ -0,0 +1 @@
+10
diff --git a/players/pavellishin b/players/pavellishin
@@ -0,0 +1 @@
+10
diff --git a/players/sligocki b/players/sligocki
@@ -0,0 +1 @@
+10
diff --git a/players/tnelling b/players/tnelling
@@ -0,0 +1 @@
+10
diff --git a/players/vesche b/players/vesche
@@ -0,0 +1 @@
+10