https://github.com/wikimedia/mediawiki-core/commit/3afc76a4b5ad2f73dd69a82ec08c0d0e4799f00f
Like we do for bugzilla etc, it'd be nice if the Change-Id: in a commit on github linked back to gerrit, purely for laziness.
I've no idea if at this point we can use github service hooks, or whether there's another way to do this...
Might need a ticket opening +upstream to get this done. Not investigating at this point, but this serves as a TODO reminder for myself, or for anyone else that knows how we can do so
Version: wmf-deployment
Severity: enhancement
See Also:
https://bugzilla.wikimedia.org/show_bug.cgi?id=62522