dev_scripts Repository with useful dev scripts ===================== Environment Variables These are used in scripts to automate the development process Parent directory of all github repositories CODE_REPO_PARENT_DIR Default github username GITHUB_USERNAME