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