diff options
author | Joas Schilling <nickvergessen@gmx.de> | 2013-06-11 14:53:03 +0200 |
---|---|---|
committer | Joas Schilling <nickvergessen@gmx.de> | 2013-06-13 16:16:44 +0200 |
commit | e633ace07267579d9860a165e288fbd1ed4ba442 (patch) | |
tree | 47966e0ad64c256f04aa086525c60491e9e7529a /git-tools/merge.php | |
parent | 30801e1f0a9aab6a3b4e589be1e43309543e8293 (diff) | |
download | forums-e633ace07267579d9860a165e288fbd1ed4ba442.tar forums-e633ace07267579d9860a165e288fbd1ed4ba442.tar.gz forums-e633ace07267579d9860a165e288fbd1ed4ba442.tar.bz2 forums-e633ace07267579d9860a165e288fbd1ed4ba442.tar.xz forums-e633ace07267579d9860a165e288fbd1ed4ba442.zip |
[ticket/11603] Fix github api url and use curl with valid user agent
PHPBB3-11603
Diffstat (limited to 'git-tools/merge.php')
-rwxr-xr-x | git-tools/merge.php | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/git-tools/merge.php b/git-tools/merge.php index 41a96c0890..2acd2280b9 100755 --- a/git-tools/merge.php +++ b/git-tools/merge.php @@ -124,7 +124,12 @@ function get_repository_url($username, $repository, $ssh = false) function api_request($query) { - $contents = file_get_contents("http://github.com/api/v2/json/$query"); + $c = curl_init(); + curl_setopt($c, CURLOPT_URL, "https://api.github.com/$query"); + curl_setopt($c, CURLOPT_RETURNTRANSFER, true); + curl_setopt($c, CURLOPT_USERAGENT, 'phpBB/1.0'); + $contents = curl_exec($c); + curl_close($c); if ($contents === false) { |