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.
Log in to post a comment.