[MediaWiki-commits] [Gerrit] Realized both Push and Push Merge Commit are needed for push... - change (mediawiki...PageDisqus)
Felipe Schenone has submitted this change and it was merged. Change subject: Realized both Push and Push Merge Commit are needed for pushes into the repo for the review. .. Realized both Push and Push Merge Commit are needed fo
[MediaWiki-commits] [Gerrit] Realized both Push and Push Merge Commit are needed for push... - change (mediawiki...PageDisqus)
Clayjar has uploaded a new change for review. https://gerrit.wikimedia.org/r/296865 Change subject: Realized both Push and Push Merge Commit are needed for pushes into the repo for the review. .. Realized both Push and Push M