From 7ee600a1754f0db2d8346d5a6dc4902ec2955749 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Mon, 20 Jun 2016 10:04:15 +0200
Subject: document way to turn git pulling into passwordless pushing, thanks
 fil

---
 TODO | 1 +
 1 file changed, 1 insertion(+)

diff --git a/TODO b/TODO
index 9c7e7f6e..e1dc0d01 100644
--- a/TODO
+++ b/TODO
@@ -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
 
-- 
cgit v1.2.3-70-g09d2