diff options
Diffstat (limited to 'TODO')
| -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 |