It's worth considering. However, unless we developed a plugin or feature that could present those PRs in the ticket view, I tend to think it would probably just be more effort to manage the PRs since we don't currently do any work from GitHub.
This caught my attention when reviewing the Django guidelines:
"Since you can’t push to other contributors’ branches, comment on the pull request “Merged in XXXXXXX” (replacing with the commit hash) after you merge it. Trac checks for this message format to indicate on the ticket page whether or not a pull request is merged."
I was looking for an example of that, but couldn't find one after reviewing a few dozen tickets on the Django site. Could you point me to an example?
Thanks,
- Ryan