subject:"\[MediaWiki\-commits\] \[Gerrit\] operations...service\-checker\[master\]\: Set the User\-Agent header field when doing requests"

[MediaWiki-commits] [Gerrit] operations...service-checker[master]: Set the User-Agent header field when doing requests; v0.1.2

2017-06-06 Thread Giuseppe Lavagetto (Code Review)

Giuseppe Lavagetto has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/356870 ) Change subject: Set the User-Agent header field when doing requests; v0.1.2 .. Set the User-Agent header field when

[MediaWiki-commits] [Gerrit] operations...service-checker[master]: Set the User-Agent header field when doing requests

2017-06-02 Thread Mobrovac (Code Review)

Mobrovac has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/356870 ) Change subject: Set the User-Agent header field when doing requests .. Set the User-Agent header field when doing requests Change-Id: