Labels Milestones
Back|| strpos($article['title'], $title_text) !== False) { if (preg_match("@.*(
New Pull Request
|| strpos($article['title'], $title_text) !== False) { if (preg_match("@.*(
New Pull Request