[openssl-project] GitHub labels

[Dr. Matthias St. Pierre]

> Matthias.St.Pierre> The github search index allows to search for
> 'base:<branchname>' which is a much Matthias.St.Pierre> more reliable way of
> determining the target branch:
> 
> I'm learning something new, I had no clue of the 'base:' feature.

Me neither, until today ;-). I looked it up on a useful page called 'Searching issues and pull requests':
https://help.github.com/articles/searching-issues-and-pull-requests/#search-by-branch-name

Matthias