On Wed, Feb 3, 2016 at 11:36 AM, Brad Jorsch (Anomie) bjorsch@wikimedia.org wrote:
On Tue, Feb 2, 2016 at 4:52 PM, John Mark Vandenberg jayvdb@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.