jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/316231 )
Change subject: Drop script mw-install-postgre since it is a duplicate of mw-install-postgresql ...................................................................... Drop script mw-install-postgre since it is a duplicate of mw-install-postgresql Change-Id: I3c5e64ab96eed14c132d362107afd8ad69884f0f --- D bin/mw-install-postgre.sh 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/mw-install-postgre.sh b/bin/mw-install-postgre.sh deleted file mode 120000 index 0fdaf41..0000000 --- a/bin/mw-install-postgre.sh +++ /dev/null @@ -1 +0,0 @@ -not-implemented.sh \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/316231 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3c5e64ab96eed14c132d362107afd8ad69884f0f Gerrit-PatchSet: 4 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: JanZerebecki <jan.wikime...@zerebecki.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits