diff options
author | Philip Hands <phil@hands.com> | 2016-07-15 21:08:23 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-07-18 19:59:17 +0200 |
commit | 7e8292ff4b05ad1e3b29268a816b4f2abed667d5 (patch) | |
tree | ccd029bef01ffa42b3021c07bd7cf78ca22ae4de /hosts/bbx15-armhf-rb/etc/munin/plugins | |
parent | 9c8505cf1991bc5c0ddceb02627725d0466445dc (diff) | |
download | jenkins.debian.net-7e8292ff4b05ad1e3b29268a816b4f2abed667d5.tar.xz |
d-i: define GIT_BRANCH since jenkins seems to have stopped doing so
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/bbx15-armhf-rb/etc/munin/plugins')
0 files changed, 0 insertions, 0 deletions