#6672 Import github pull requests better
open
nobody
General
nobody
2015-02-23
2013-09-19
No
Currently our github ticket import includes pull requests and makes them like regular tickets in Allura. We should at least include some data about what commits were in the pull request. We can also consider making them into Allura merge requests. But Allura merge requests are separate from tickets and don't have all the features like labels, milestones, etc.