{"push_id":2528440950,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f9cac9f0cec5a0630b7b01da70e716e06d37feb9","before":"42fbb98374749e50028cbd823de2cf43fe614e98","commits":[{"sha":"6d4a7f932e76befe892200439f25a807f812dd7e","author":{"name":"Bartosz Dziewoński","email":"2d1e1b620879a2330241034f908c878d89499102@gmail.com"},"message":"ve.init.mw.DiffPage.init: Do not duplicate diff table header\n\nThe duplicate header, especially the duplicate elements with identical\nIDs, were difficult to handle for other scripts.\n\nNow instead of hiding the entire wikitext diff, we only hide the\n\"content\" rows but keep the header, and adjust our attributes on the\nheader back-and-forth when switching diff modes.\n\nBug: T192755\nChange-Id: I3a6bb4730fefd81f533b786ec3b20241c4cb8d13","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-VisualEditor/commits/6d4a7f932e76befe892200439f25a807f812dd7e"},{"sha":"f9cac9f0cec5a0630b7b01da70e716e06d37feb9","author":{"name":"jenkins-bot","email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org"},"message":"Merge \"ve.init.mw.DiffPage.init: Do not duplicate diff table header\"","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-VisualEditor/commits/f9cac9f0cec5a0630b7b01da70e716e06d37feb9"}]}
{"actor":{"display_login":"wmfgerrit"}}