Home
last modified time | relevance | path

Searched refs:pull (Results 1 – 4 of 4) sorted by relevance

/web-bugs/src/Utils/
H A DGitHub.php69 throw new \Exception('Failed to retrieve pull request from GitHub');
/web-bugs/include/
H A Dquery.php41 $pull = (!empty($_GET['pull']) && is_string($_GET['pull'])) ? $_GET['pull'] : ''; variable
190 if ($patch != '' || $pull != '') {
196 if ($pull != '') {
199 if ($patch != '' || $pull != '') {
/web-bugs/www/
H A Dsearch.php83 'pull' => urlencode($pull),
346 …<td><input type="checkbox" name="pull" value="Y" <?php echo $pull == 'Y' ? " checked" : "" ?>></td>
/web-bugs/
H A DREADME.md98 git pull --rebase

Completed in 6 milliseconds