[MediaWiki-commits] [Gerrit] wikimedia/portals[master]: Changing Submit Type from fast-forward only to merge if nece...
jenkins-bot has submitted this change and it was merged. Change subject: Changing Submit Type from fast-forward only to merge if necessary. .. Changing Submit Type from fast-forward only to merge if necessary. Change-Id: Ib32a2d0d4945ab67bf7066db86377fb94864ecc3 --- 0 files changed, 0 insertions(+), 0 deletions(-) Approvals: MarcoAurelio: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/310525 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib32a2d0d4945ab67bf7066db86377fb94864ecc3 Gerrit-PatchSet: 2 Gerrit-Project: wikimedia/portals Gerrit-Branch: master Gerrit-Owner: Jdrewniak Gerrit-Reviewer: Jdrewniak Gerrit-Reviewer: MarcoAurelio Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] wikimedia/portals[master]: Changing Submit Type from fast-forward only to merge if nece...
Jdrewniak has uploaded a new change for review. https://gerrit.wikimedia.org/r/310525 Change subject: Changing Submit Type from fast-forward only to merge if necessary. .. Changing Submit Type from fast-forward only to merge if necessary. Change-Id: Ib32a2d0d4945ab67bf7066db86377fb94864ecc3 --- 0 files changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/wikimedia/portals refs/changes/25/310525/2 -- To view, visit https://gerrit.wikimedia.org/r/310525 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib32a2d0d4945ab67bf7066db86377fb94864ecc3 Gerrit-PatchSet: 2 Gerrit-Project: wikimedia/portals Gerrit-Branch: master Gerrit-Owner: Jdrewniak Gerrit-Reviewer: Jdrewniak Gerrit-Reviewer: MarcoAurelio Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits