adding role for devpi, mirror play

Sets up a pypy mirror caching server
adding the github mirror server role
naming bugs
adding packages for repo script
updating py file for repo sync
not starting supervisor
changing orgs to users for github api query
adding '.git' to repo path
adding org
using edx pypy mirror for edxapp and common
using edx github mirror for edxapp
adding Stanford-Online
moving pip_index_url to group_vars
using edx mirror for pip_index_url
add pages to api query
flock in repos-from-orgs to prevent multiple instances from running
restoring lines deleted in the last commit
missing import
updating comment
pypy->pypi