On Wed, Feb 3, 2016 at 11:36 AM, Brad Jorsch (Anomie)
<bjorsch(a)wikimedia.org> wrote:
On Tue, Feb 2, 2016 at 4:52 PM, John Mark Vandenberg
<jayvdb(a)gmail.com>
wrote:
The same developer created the MediaWiki API
endpoint mergehistory. Im not
sure whether it has been merged yet.
https://gerrit.wikimedia.org/r/#/c/261617/
Not quite. I found one bug while testing it earlier.
Thanks for checking Brad. Then the mergehistory change to MediaWiki
core and Pywikibot shouldnt be highlighted for GCI until they are
merged.
--
John Vandenberg