diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-10-01 16:37:51 +0000 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2016-10-01 16:37:51 +0000 |
commit | 478161e7dd4d35c5ac5d0cbf90e911f236026b51 (patch) | |
tree | 216dbd4532753a07ef6f2aa32b34ba4e7c7bcd2f /bin/reproducible_schedule_on_demand.sh | |
parent | cc03eeb72f06c02afae1217824b02c46afb718b9 (diff) | |
download | jenkins.debian.net-478161e7dd4d35c5ac5d0cbf90e911f236026b51.tar.xz |
reproducible debian: if a manual schedule with notification was requested, still send the done notification to the main channel #-reproducible
Diffstat (limited to 'bin/reproducible_schedule_on_demand.sh')
0 files changed, 0 insertions, 0 deletions