1<?php if (count($pulls)) { ?> 2<div> 3Pull requests:<br> 4<ul> 5<?php foreach ($pulls as $pr) { ?> 6 <li><a href="<?php echo htmlentities($pr['github_html_url'], ENT_QUOTES); ?>"><?php echo htmlentities($pr['github_title']); ?></a> 7 (<?php echo htmlentities($pr['github_repo'].'/'.$pr['github_pull_id']); ?>)</li> 8<?php } ?> 9</ul> 10</div> 11<?php } ?> 12
