diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -253,6 +253,12 @@ The Git repository used for Debian Policy has the following branches: + rra:: old history of Russ's arch repository, now frozen + srivasta:: old history of Manoj's arch repository +#### Continuous integration + +On each push to the master branch, a jenkins job is triggered which builds +src:debian-policy's binary packages and installs them to +https://jenkins.debian.net/userContent/debian-policy/ + ### Managing a bug Some tips for managing bugs: |