[phpMyAdmin Git] [phpmyadmin/error-reporting-server] 0ed4d3: Set correct user agent

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/error-reporting-server
  Commit: 0ed4d336cbf2fbefcca2fbb58cee0cf0602d7d77
      https://github.com/phpmyadmin/error-reporting-server/commit/0ed4d336cbf2fbefcca2fbb58cee0cf0602d7d77
  Author: Michal Čihař <michal at cihar.com>
  Date:   2015-09-14 (Mon, 14 Sep 2015)

  Changed paths:
    M src/Controller/Component/GithubApiComponent.php

  Log Message:
  -----------
  Set correct user agent

Signed-off-by: Michal Čihař <michal at cihar.com>