com web/bugs: Fix 76079: Attaching PRs to bug issues broken: www/gh-pull-add.php

Commit: 8fe6914127b3b3da776a67c25db29ae8e0a5b16c Author: zrhoffman <zrhoffman@ku.edu> Tue, 23 Oct 2018 04:30:49 +0200 Committer: Peter Kokot <peterkokot@gmail.com> Tue, 23 Oct 2018 04:30:49 +0200 Parents: 1ed5c05dd575fcacced888dc3b0833d363a3d32a Branches: master Link: http://git.php.net/?p=web/bugs.git;a=commitdiff;h=8fe6914127b3b3da776a67c25db29ae8e0a5b16c Log: Fix 76079: Attaching PRs to bug issues broken This patch fixes attaching pull requests to bug tickets.. This will need to be resolved also using different consuming of the GitHub API in the near future due to possible rate limits and other limitations. Additionally, would be good to get the PEAR dependency refactored for handling the errors to not depend on outdated PEAR. Otherwise, this fixes bug #76079 thanks to @zrhoffman Bugs: https://bugs.php.net/76079 Changed paths: M www/gh-pull-add.php Diff: diff --git a/www/gh-pull-add.php b/www/gh-pull-add.php index 8a32472..b1fe068 100644 --- a/www/gh-pull-add.php +++ b/www/gh-pull-add.php @@ -2,6 +2,7 @@ // Obtain common includes require_once '../include/prepend.php'; +require_once 'PEAR.php'; session_start(); $canpatch = true;