edx/edx-platform — pull request #2444 by mhoeber (2014-02-03 21:31:26+00:00)
Title: Add info to external graders chapter

Links to example pull/push repositories
Note about graders not accessing student IDs