diff options
| author | Daniel Kesselberg <mail@danielkesselberg.de> | 2018-08-12 19:21:38 +0300 |
|---|---|---|
| committer | Daniel Kesselberg <mail@danielkesselberg.de> | 2018-08-12 19:21:38 +0300 |
| commit | 58106b0a73df24b3604b609e1a07ea4f28152f96 (patch) | |
| tree | 42589e5fde11ac1807ad6411caa959b3f14543e4 /build | |
| parent | 4cdad9b69f71f185d8f7e857a7e99f5fae9c42e7 (diff) | |
Pass HttpHeader as array
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Diffstat (limited to 'build')
| -rw-r--r-- | build/signed-off-checker.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build/signed-off-checker.php b/build/signed-off-checker.php index f21854a83d1..32deceb47b7 100644 --- a/build/signed-off-checker.php +++ b/build/signed-off-checker.php @@ -60,9 +60,9 @@ if(!is_string($githubToken) || $githubToken === '') { $ch = curl_init(); curl_setopt($ch, CURLOPT_RETURNTRANSFER, true); -curl_setopt($ch, CURLOPT_URL, 'https://api.github.com/repos/'.$repoOwner.'/'.$repoName.'/pulls/'.$pullRequestNumber.'/commits'); +curl_setopt($ch, CURLOPT_URL, 'https://api.github.com/repos/' . $repoOwner . '/' . $repoName . '/pulls/' . $pullRequestNumber . '/commits'); curl_setopt($ch, CURLOPT_USERAGENT, 'CI for Nextcloud (https://github.com/nextcloud/server)'); -curl_setopt($ch, CURLOPT_HTTPHEADER, 'Authorization: token ' . $githubToken); +curl_setopt($ch, CURLOPT_HTTPHEADER, ['Authorization: token ' . $githubToken]); $response = curl_exec($ch); curl_close($ch); |