diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-06-20 10:04:15 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-06-20 10:04:15 +0200 |
| commit | 7ee600a1754f0db2d8346d5a6dc4902ec2955749 (patch) | |
| tree | 4102ba3ce904490ca58ca62d5f4420f7353f542c | |
| parent | 748b7d4bcd68d18078236f3abe20446de9065e0a (diff) | |
| download | jenkins.debian.net-7ee600a1754f0db2d8346d5a6dc4902ec2955749.tar.xz | |
document way to turn git pulling into passwordless pushing, thanks fil
| -rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -54,6 +54,7 @@ The plan is to run a jenkins.d.o host, which is maintained by DSA, but we are ma * use static IP for the nodes (h01ger) * use vmdebootstrap where applicable * Tango Icons are gone: #824477 - update footer once this bug is fixed +* add to all git post-receive hooks: `curl -s "https://jenkins.debian.net/git/notifyCommit?url=git://git.debian.org/git/d-i/$(basename $PWD .git)"` which will trigger jenkins to pull (check) that git repo… === ToDo for improving disk space |