7905ae8a0313699dee95d54bc025a159c871e120

* Delete update_users.py that no longer needed
Description
System configuration for the OpenDev Collaboratory
Languages
Python
37.6%
Jinja
37.4%
Shell
13.8%
Dockerfile
3.7%
JavaScript
3.1%
Other
4.4%