4 ms·Convert github issues into pull requests5 points by benschwarz 14y agonullobject 14y agoNice, it's a shame this isn't supported in the GitHub web interface.