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 /bin/reproducible_html_all_packages.py | |
| 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 'bin/reproducible_html_all_packages.py')
0 files changed, 0 insertions, 0 deletions