[MediaWiki-commits] [Gerrit] integration/jenkins[master]: Drop script mw-install-postgre since it is a duplicate of mw...

[jenkins-bot (Code Review)]

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 12
index 0fdaf41..000
--- 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 
Gerrit-Reviewer: Dzahn 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: JanZerebecki 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] integration/jenkins[master]: Drop script mw-install-postgre since it is a duplicate of mw...

[Paladox (Code Review)]

Paladox has uploaded a new change for review.

  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(-)


  git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins 
refs/changes/31/316231/1

diff --git a/bin/mw-install-postgre.sh b/bin/mw-install-postgre.sh
deleted file mode 12
index 0fdaf41..000
--- 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: newchange
Gerrit-Change-Id: I3c5e64ab96eed14c132d362107afd8ad69884f0f
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Paladox 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits