Hashar has submitted this change and it was merged. Change subject: remove mwext-PoolCounter-pep8 ......................................................................
remove mwext-PoolCounter-pep8 The PoolCounter extension only has one python file which is obsolete since it has been rewritten to C. Change-Id: Id4b8b1779e31eff1641b8f89d6c19443b91e6dad --- M layout.yaml 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Hashar: Verified; Looks good to me, approved diff --git a/layout.yaml b/layout.yaml index e6a21f8..4dcef32 100644 --- a/layout.yaml +++ b/layout.yaml @@ -1764,12 +1764,10 @@ - mwext-PoolCounter-merge: - mwext-PoolCounter-jslint - mwext-PoolCounter-lint - - mwext-PoolCounter-pep8 gate-and-submit: - mwext-PoolCounter-merge: - mwext-PoolCounter-jslint - mwext-PoolCounter-lint - - mwext-PoolCounter-pep8 - name: mediawiki/extensions/PostEdit check: -- To view, visit https://gerrit.wikimedia.org/r/54665 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id4b8b1779e31eff1641b8f89d6c19443b91e6dad Gerrit-PatchSet: 1 Gerrit-Project: integration/zuul-config Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Platonides <platoni...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits