Page History
...
In addition, we use several labels, which help us list all tickets with a certain label.
- has-patch - the issue has a patch attached addressing this issue
- has-pull-request - the issue links to a GitHub pull request addressing this issue
- changes-config - the code change introduced by this issue also adds, removes or modifies configuration properties
- deprecation - the code change introduced by this issue deprecates some classes or methods
See also
- Development with Git - git and GitHub are other tools we use for DSpace development
- Travis CI - TODO
Overview
Content Tools