Filippo Giunchedi has submitted this change and it was merged. Change subject: zuul: update zuul-merger init info ......................................................................
zuul: update zuul-merger init info The zuul-merger init script got copy pasted from the zuul one but I forgot to update the init info in the top level comments. Spotted by Filippo Giunchedi while reviewing the Zuul Debian packaging work. Change-Id: Ifd0fc0a40e57658c8e4b773f71a31d5512768ff7 --- M modules/zuul/files/zuul-merger.init 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Filippo Giunchedi: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/modules/zuul/files/zuul-merger.init b/modules/zuul/files/zuul-merger.init index f1e442f..f8470a5 100755 --- a/modules/zuul/files/zuul-merger.init +++ b/modules/zuul/files/zuul-merger.init @@ -1,11 +1,11 @@ #! /bin/sh ### BEGIN INIT INFO -# Provides: zuul +# Provides: zuul-merger # Required-Start: $remote_fs $syslog # Required-Stop: $remote_fs $syslog # Default-Start: 2 3 4 5 # Default-Stop: 0 1 6 -# Short-Description: Zuul +# Short-Description: Zuul Merger # Description: Trunk gating system ### END INIT INFO -- To view, visit https://gerrit.wikimedia.org/r/199852 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ifd0fc0a40e57658c8e4b773f71a31d5512768ff7 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Alexandros Kosiaris <akosia...@wikimedia.org> Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
