Configuration¶
RepoBee does not have to be configured as all arguments can be provided on the command line, but doing so becomes very tedious, very quickly. It’s typically a good idea to at least configure the Access token, as well as the GitHub base url (for the API) and your GitHub username (see Configuration file).
Important
The RepoBee User Guide expects there to be a configuration file as described in Getting started.
Access token¶
For repobee to work at all, it needs a Personal Access Token. See the GitHub
access token docs for how to create a token. Make sure that it has the
repo
and admin:org
scopes. There are two ways to hand the token to
repobee:
Put it in the
REPOBEE_TOKEN
environment variable. - On a unix system, this is as simple asexport REPOBEE_TOKEN=<YOUR_TOKEN>
Put it in the configuration file (see Configuration file).
Configuration file¶
An optional configuration file can be added, specifying defaults for several of the most frequently used cli options line options. This is especially useful for teachers ant TAs who are managing repos for a single course (and, as a consequence, a single organization).
[repobee]
base_url = https://some-api-v3-url
user = YOUR_USERNAME
org_name = ORGANIZATION_NAME
template_org_name = TEMPLATE_ORGANIZATION_NAME
students_file = STUDENTS_FILE_ABSOLUTE_PATH
token = SUPER_SECRET_TOKEN
Important
If the configuration file exists, it must contain the [repobee]
header. This is to minimize the risk of misconfiguration by novice users.
To find out where to place the configuration file (and what to name it),
run repobee show-config
. The configuration file can also be used to
configure repobee
plugins. See the Installing and uninstalling plugins (the install and uninstall actions) section for more
details.
Important
Do note that the configuration file contains only default values. Specifying any of the parameters on the command line will override the configuration file’s values.
Note
You can run repobee verify-settings
to verify the basic configuration.
This will check the most important settings configurable in repobee
.