GitHub pull requests

[Mikael Ståldal]

Does anyone keep track of incoming pull requests on GitHub? It seems like
we get a few with no corresponding JIRA ticket. Should we ask them to open
a JIRA ticket?