Muehlenhoff has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373782 )
Change subject: Drop the suffix ...................................................................... Drop the suffix Change-Id: I4268431ed7600c2235a6f7c34ac46645487d1f47 --- M debian/debdeploy-server.install R server/debdeploy 2 files changed, 1 insertion(+), 1 deletion(-) Approvals: Muehlenhoff: Looks good to me, approved jenkins-bot: Verified diff --git a/debian/debdeploy-server.install b/debian/debdeploy-server.install index 742fcf3..f1368df 100644 --- a/debian/debdeploy-server.install +++ b/debian/debdeploy-server.install @@ -1,4 +1,4 @@ server/debdeploy_updatespec.py /usr/lib/python2.7/dist-packages/ server/debdeploy_conf.py /usr/lib/python2.7/dist-packages/ -server/debdeploy.py /usr/sbin +server/debdeploy /usr/sbin server/generate-debdeploy-spec /usr/bin diff --git a/server/debdeploy.py b/server/debdeploy similarity index 100% rename from server/debdeploy.py rename to server/debdeploy -- To view, visit https://gerrit.wikimedia.org/r/373782 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4268431ed7600c2235a6f7c34ac46645487d1f47 Gerrit-PatchSet: 1 Gerrit-Project: operations/debs/debdeploy Gerrit-Branch: master Gerrit-Owner: Muehlenhoff <[email protected]> Gerrit-Reviewer: Muehlenhoff <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
