Change Details

Whether a patch is live or not on a specific wiki is a [[ https://phabricator.wikimedia.org/T87062#1004273 | common source of confusion ]]. It should be easy to write a web service which checks whether the patch commit id is the parent of HEAD for the set0/set1/set2 wmf branches and/or the REL* branches, and return a [[ http://shields.io/ | shield ]] that can be included in the gerrit skin.