[MediaWiki-commits] [Gerrit] integration/config[master]: phan: Add the standard composer flags to the update command

2016-12-08 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/325904 )

Change subject: phan: Add the standard composer flags to the update command
..


phan: Add the standard composer flags to the update command

Change-Id: Id85bbc5e58dac9049edb77d438d01b1cd73d86af
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index f21e333..637e2b0 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -484,7 +484,7 @@
 dir: '$WORKSPACE/src'
  - shell: |
 cd $WORKSPACE/src
-composer require etsy/phan:dev-master --prefer-dist --dev # todo don't 
hardcode version here
+composer require etsy/phan:dev-master --prefer-dist --dev 
--no-progress --ansi --profile -v # todo don't hardcode version here
 PHAN=vendor/bin/phan ./tests/phan/bin/phan
 publishers:
  - castor-save

-- 
To view, visit https://gerrit.wikimedia.org/r/325904
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id85bbc5e58dac9049edb77d438d01b1cd73d86af
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm 
Gerrit-Reviewer: Legoktm 
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/config[master]: phan: Add the standard composer flags to the update command

2016-12-08 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/325904 )

Change subject: phan: Add the standard composer flags to the update command
..

phan: Add the standard composer flags to the update command

Change-Id: Id85bbc5e58dac9049edb77d438d01b1cd73d86af
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/integration/config 
refs/changes/04/325904/1

diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index f21e333..637e2b0 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -484,7 +484,7 @@
 dir: '$WORKSPACE/src'
  - shell: |
 cd $WORKSPACE/src
-composer require etsy/phan:dev-master --prefer-dist --dev # todo don't 
hardcode version here
+composer require etsy/phan:dev-master --prefer-dist --dev 
--no-progress --ansi --profile -v # todo don't hardcode version here
 PHAN=vendor/bin/phan ./tests/phan/bin/phan
 publishers:
  - castor-save

-- 
To view, visit https://gerrit.wikimedia.org/r/325904
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id85bbc5e58dac9049edb77d438d01b1cd73d86af
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm 

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