diff options
| author | Holger Levsen <holger@layer-acht.org> | 2019-02-10 18:10:59 +0100 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-02-13 13:13:21 -0700 |
| commit | 1a39152952cc4d384426865864e40fb4bc7fe8af (patch) | |
| tree | d19e6a86123fc63e8aa770a98e0753f7a06365d9 | |
| parent | c0b4ade047d60d183e1466f653311a8b8f3a5f11 (diff) | |
add a parapraph linking to https://jenkins.debian.net/userContent/debian-policy/
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -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: |