-
Notifications
You must be signed in to change notification settings - Fork 3
Adding a new repository
a-a-hofmann edited this page Aug 26, 2020
·
4 revisions
To add a new repository, first create the repo and push at least 1 commit to it
Afterwards add the repository URL (for private repos use SSH, see Private repositories) to repository.json
.
There are two ways to update the repository.json
file:
- navigate to project root (where the
docker-compose.yml
file is): - Run
docker-compose exec course-service /bin/bash
# Install nano, vi or similar as there is no editor already installed e.g.
apt install nano
# add the repository to the json file, with nano
nano access/repositories.json
- Exit the container (
CTRL+D
orexit
) - Restart container
docker-compose restart course-service
You can see the server logs with:
docker-compose logs -f course-service
Update and push the repository.json
https://github.com/mp-access/Course-Service/blob/master/src/main/resources/repositories.json, CI/CD will then deploy the newer version (takes longer)
In order to auto-deploy changes to a course, we need to configure a webhook.
For Github:
Settings -> Webhooks -> Add webhook
As payload URL: /courses/update/github
Set Content type: application/json
- Home
- Configuration
- [Course Configuration]
- [Assignment Configuration]
- Exercise Configuration
- Concepts