Heya, there's an increasing number of pull requests (PRs) coming through github (great! more contributions!). How do we deal with them? Do we need to file a corresponding JIRA before we merge them or can we just reference the PR?
I rather not tax the contributors with having to file the JIRA, but taxing the committer is also not great.. Thoughts? -rgs
