Learn more about these different git repos.
Other Git URLs
3148d22
Add a script to delete a user for development.