Skip to content

No labels!

There aren’t any labels for this repository quite yet.

16 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
admin
admin
Administration interface
bug
bug
Something isn't working
6
ci
ci
Continuous integration
1
dependencies
dependencies
Pull requests that update a dependency file
docker
docker
Docker related stuff
2
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
good first issue
good first issue
Good for new contributors
5
help wanted
help wanted
We would appreciate help from external contributors
19
java
java
Related mostly to Java pipeline
3
pipeline
pipeline
Functionality related to Docker pipelines.
4
teacher
teacher
Functionality that is only available to teachers.
13
tracking-issue
tracking-issue
Tracking issue for a set of features or changes.
3
web-backend
web-backend
Web backend changes in Python
38
web-frontend
web-frontend
Web UI changes in Javascript/Typescript
45
wontfix
wontfix
This will not be worked on