diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-10-08 16:09:59 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-10-08 20:23:51 +0200 |
commit | 321b68cf7639c584ed5a200b831da21e2af131e9 (patch) | |
tree | 0af3528b8697873cfc58eead2ffe2445b88c35cc /hosts/jenkins/etc/apache2/sites-available | |
parent | 6cce5be1f7b80a8cb2a29cf17ba13ea9f9f63698 (diff) | |
download | jenkins.debian.net-321b68cf7639c584ed5a200b831da21e2af131e9.tar.xz |
update_jdn: deploy the users also when only a ssh key changes
this makes possible to add/remove/edit a ssh key and have it deployed also when $UP2DATE is otherwise true.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/apache2/sites-available')
0 files changed, 0 insertions, 0 deletions