convore.json/groups/github/treating-pr-diff-comments-and-commit-comments-differently/messages.json

[{"user_id": 19, "stars": [], "topic_id": 35579, "date_created": 1305591324.996702, "message": "There's no particular reason, just another item on our list of improvements", "group_id": 591, "id": 1076444}, {"user_id": 960, "stars": [], "topic_id": 35579, "date_created": 1305590689.0310919, "message": "Trying to figure this out... I know it makes sense from a practical \"they're completely different\" point of view, but if the work is being done to pull in commit comments, why not show the diff in the PR discussion tab too?", "group_id": 591, "id": 1076344}, {"user_id": 960, "stars": [], "topic_id": 35579, "date_created": 1305590701.240016, "message": "As an example: https://github.com/armstrongcms/armstrong.core.arm_content/pull/6#commitcomment-386242", "group_id": 591, "id": 1076346}, {"user_id": 960, "stars": [], "topic_id": 35579, "date_created": 1305590726.7551529, "message": "Versus the discussion earlier that was on the diff view", "group_id": 591, "id": 1076348}, {"user_id": 960, "stars": [], "topic_id": 35579, "date_created": 1305590745.4339099, "message": "Having different levels of comments can be frustrating if you're leaning heavily on PRs for context", "group_id": 591, "id": 1076356}, {"user_id": 960, "stars": [], "topic_id": 35579, "date_created": 1305606827.266813, "message": "We're relying on PRs pretty heavily for Armstrong and trying to re-teach a few of our devs to comment on PR diffs instead of commits is proving difficult.  (/me looks at @niran)", "group_id": 591, "id": 1078948}, {"user_id": 960, "stars": [], "topic_id": 35579, "date_created": 1305606777.052196, "message": "Please consider this a +1 then. :-)", "group_id": 591, "id": 1078943}]