import

github/weird-pull-requests/messages.json

@@ -0,0 +1 @@
+[{"user_id": 1516, "stars": [], "topic_id": 11548, "date_created": 1299614006.026372, "message": "I have a serious love/hate relationship to pull requests. Yes, it's a very effective way to explore changes, but I absolutely *hate* how they appear in the issue tracker.", "group_id": 591, "id": 298916}, {"user_id": 1516, "stars": [], "topic_id": 11548, "date_created": 1299614060.705194, "message": "Let's say someone reports a bug and opens an issue. If I want to provide a patch and send a pull request, there will now be *two* bugs in the issue tracker.", "group_id": 591, "id": 298920}, {"user_id": 1516, "stars": [], "topic_id": 11548, "date_created": 1299614074.6441989, "message": "And if someone sends a pull request (without opening a ticket first), what should I do if I agree with the feature/bugfix, but not with the way it was solved? The issue isn't fixed yet, so it's wrong to close it, but it feels weird to keep the pull request open (since I've actually rejected it). I want to close the pull request only!", "group_id": 591, "id": 298922}, {"user_id": 1516, "stars": [], "topic_id": 11548, "date_created": 1299614035.2921181, "message": "GitHub treats pull requests *as* an issue. This is completely backwards to me! A pull request is a *solution* to an issue.", "group_id": 591, "id": 298918}, {"user_id": 16, "stars": [], "topic_id": 11548, "date_created": 1299648033.7658961, "message": "I really like the pull/issue relationship.", "group_id": 591, "id": 302164}, {"user_id": 16, "stars": [], "topic_id": 11548, "date_created": 1299648038.2045231, "message": "You can actually attach patches to issues through the API.  I believe it's just a UI issue to solve.  Removing or closing patches is an interesting idea though.   I like it.", "group_id": 591, "id": 302165}]