digitalmars.D - Pull request names
- Steven Schveighoffer (17/17) Mar 24 2014 To all who are generating pull requests:
- Andrej Mitrovic (5/6) Mar 24 2014 I keep saying the same thing to pull makers. When I'm not too busy I
- Walter Bright (3/9) Mar 24 2014 Yes, indeed. I think it's just polite to include a link to the bugzilla ...
- Daniel Murphy (5/8) Mar 24 2014 It does say this in the wiki:
- Jakob Ovrum (6/9) Mar 24 2014 Though I agree with everything you said, it is possible to
- Steven Schveighoffer (12/20) Mar 25 2014 It's not the notifications I dislike, I actually like emails much better...
- monarch_dodra (7/10) Mar 24 2014 Yeah, that does get on my nerves sometimes too. But I do nothing
- Vladimir Panteleev (6/18) Mar 24 2014 Tip: go to Bugzilla, right-click the "Search" field at the top,
- Walter Bright (3/7) Mar 25 2014 I do it an even easier way. I go to a bugzilla issue from my browser his...
- monarch_dodra (7/14) Mar 25 2014 On Tuesday, 25 March 2014 at 07:03:24 UTC, Walter Bright wrote:
- Andrej Mitrovic (2/7) Mar 25 2014 Ah nice. Could you dwiki this? Thanks!
- Vladimir Panteleev (2/11) Mar 25 2014 http://wiki.dlang.org/Bugzilla
- Andrej Mitrovic (2/14) Mar 25 2014 Thanks again.
- w0rp (15/34) Mar 25 2014 I know exactly what you are talking about. I had this same issue
- Brad Roberts (5/45) Mar 25 2014 Sounds like there's considerable agreement (including me). So.. make su...
- Rikki Cattermole (5/24) Mar 25 2014 I wonder if we can get github to add support to linking our
- Vladimir Panteleev (6/44) Mar 25 2014 I made this userscript a few years ago, when D development was
To all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project. A recent message in my email: monarchdodra Good point, done. - Reply to this email directly or view it on GitHub. The "view it on Github" is a link to the message. So I can see what this is about. But it would be nice if the pull request title was more descriptive. I don't know what issue 12419 is. Please note, I am not complaining about the volume of pull request chatter, this is great! But the title of the pull request should describe what it logically is without having to click through to a bug report or read everything about the pull request. If you want to say "fix issue XXX", please repeat the bug title at least. -Steve
Mar 24 2014
On 3/24/14, Steven Schveighoffer <schveiguy yahoo.com> wrote:To all who are generating pull requests.I keep saying the same thing to pull makers. When I'm not too busy I also rename their pull request to add the title description. Another thing I keep mentioning is to add a link to the bugzilla issue in the pull request.
Mar 24 2014
On 3/24/2014 12:47 PM, Andrej Mitrovic wrote:On 3/24/14, Steven Schveighoffer <schveiguy yahoo.com> wrote:Yes, indeed. I think it's just polite to include a link to the bugzilla issue as well as a link in the bugzilla issue back to the PR.To all who are generating pull requests.I keep saying the same thing to pull makers. When I'm not too busy I also rename their pull request to add the title description. Another thing I keep mentioning is to add a link to the bugzilla issue in the pull request.
Mar 24 2014
"Steven Schveighoffer" wrote in message news:op.xc8mg5laeav7ka stevens-macbook-pro.local...The "view it on Github" is a link to the message. So I can see what this is about. But it would be nice if the pull request title was more descriptive. I don't know what issue 12419 is.It does say this in the wiki: http://wiki.dlang.org/Pull_Requests#Create_a_pull_request Don't forget you can edit the titles of other people's pull requests!
Mar 24 2014
On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:To all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project.Though I agree with everything you said, it is possible to "watch" a repository without receiving email notifications, for those who are fine with just the web interface's notification system.
Mar 24 2014
On Mon, 24 Mar 2014 23:16:57 -0400, Jakob Ovrum <jakobovrum gmail.com> wrote:On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:It's not the notifications I dislike, I actually like emails much better than dealing with the interface, I can delete ones I'm not going to look at. It's the requirement to click through to find out what the email is about. Might as well get an email that says "Something changed" :) I see that anyone can change the pull request title. That is a good solution, let's anyone who sees such a pull request notify the author of the requirement to be more descriptive, and change it when we see it. Thanks! -SteveTo all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project.Though I agree with everything you said, it is possible to "watch" a repository without receiving email notifications, for those who are fine with just the web interface's notification system.
Mar 25 2014
On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:If you want to say "fix issue XXX", please repeat the bug title at least. -SteveYeah, that does get on my nerves sometimes too. But I do nothing about it, so I'm not part of the solution. I guess I should now. Also, when fixing an issue, *please* provide a link to said issue. Searching for "XXX" in the bug repo myself is un-necessary overhead.
Mar 24 2014
On Tuesday, 25 March 2014 at 06:45:30 UTC, monarch_dodra wrote:On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:Tip: go to Bugzilla, right-click the "Search" field at the top, and select "Create search". Assign a keyboard (e.g. "db" for "D Bugs"), and then you can go to any issue by typing "db NNNNN" in the address bar (or search Bugzilla by entering search terms instead of NNNNN).If you want to say "fix issue XXX", please repeat the bug title at least. -SteveYeah, that does get on my nerves sometimes too. But I do nothing about it, so I'm not part of the solution. I guess I should now. Also, when fixing an issue, *please* provide a link to said issue. Searching for "XXX" in the bug repo myself is un-necessary overhead.
Mar 24 2014
On 3/24/2014 11:58 PM, Vladimir Panteleev wrote:Tip: go to Bugzilla, right-click the "Search" field at the top, and select "Create search". Assign a keyboard (e.g. "db" for "D Bugs"), and then you can go to any issue by typing "db NNNNN" in the address bar (or search Bugzilla by entering search terms instead of NNNNN).I do it an even easier way. I go to a bugzilla issue from my browser history, then edit the address with a new NNNNN :-)
Mar 25 2014
On Tuesday, 25 March 2014 at 06:58:53 UTC, Vladimir Panteleev wrote:Tip: go to Bugzilla, right-click the "Search" field at the top, and select "Create search". Assign a keyboard (e.g. "db" for "D Bugs"), and then you can go to any issue by typing "db NNNNN" in the address bar (or search Bugzilla by entering search terms instead of NNNNN).On Tuesday, 25 March 2014 at 07:03:24 UTC, Walter Bright wrote:I do it an even easier way. I go to a bugzilla issue from my browser history, then edit the address with a new NNNNN :-)Good tips (Walter, I mostly use your strategy), but still something I shouldn't have to put up with. I'd simply call it common decency to link whatever you are talking to...
Mar 25 2014
On 3/25/14, Vladimir Panteleev <vladimir thecybershadow.net> wrote:Tip: go to Bugzilla, right-click the "Search" field at the top, and select "Create search". Assign a keyboard (e.g. "db" for "D Bugs"), and then you can go to any issue by typing "db NNNNN" in the address bar (or search Bugzilla by entering search terms instead of NNNNN).Ah nice. Could you dwiki this? Thanks!
Mar 25 2014
On Tuesday, 25 March 2014 at 10:36:15 UTC, Andrej Mitrovic wrote:On 3/25/14, Vladimir Panteleev <vladimir thecybershadow.net> wrote:http://wiki.dlang.org/BugzillaTip: go to Bugzilla, right-click the "Search" field at the top, and select "Create search". Assign a keyboard (e.g. "db" for "D Bugs"), and then you can go to any issue by typing "db NNNNN" in the address bar (or search Bugzilla by entering search terms instead of NNNNN).Ah nice. Could you dwiki this? Thanks!
Mar 25 2014
On 3/25/14, Vladimir Panteleev <vladimir thecybershadow.net> wrote:On Tuesday, 25 March 2014 at 10:36:15 UTC, Andrej Mitrovic wrote:Thanks again.On 3/25/14, Vladimir Panteleev <vladimir thecybershadow.net> wrote:http://wiki.dlang.org/BugzillaTip: go to Bugzilla, right-click the "Search" field at the top, and select "Create search". Assign a keyboard (e.g. "db" for "D Bugs"), and then you can go to any issue by typing "db NNNNN" in the address bar (or search Bugzilla by entering search terms instead of NNNNN).Ah nice. Could you dwiki this? Thanks!
Mar 25 2014
On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:To all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project. A recent message in my email: monarchdodra Good point, done. - Reply to this email directly or view it on GitHub. The "view it on Github" is a link to the message. So I can see what this is about. But it would be nice if the pull request title was more descriptive. I don't know what issue 12419 is. Please note, I am not complaining about the volume of pull request chatter, this is great! But the title of the pull request should describe what it logically is without having to click through to a bug report or read everything about the pull request. If you want to say "fix issue XXX", please repeat the bug title at least. -SteveI know exactly what you are talking about. I had this same issue with git at one of my previous jobs. We used to have commit messages that were tied to tickets, and we'd have messages like, so and so." So my coworkers noticed this, thought referencing the bug was a good idea and switched... only to writing the bug number in the commit message and nothing else. So 'git log' read kind of like this. It was really frustrating.
Mar 25 2014
On 3/25/14, 1:08 AM, w0rp wrote:On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:Sounds like there's considerable agreement (including me). So.. make sure pull requests have the appropriate info. If one doesn't, prompt the requester to include it. If there's wiki nodes out there that describe the pull request process, make sure it includes appropriate instructions. Etc. This is a very easy to solve issue.. just some habits to be (re-)formed.To all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project. A recent message in my email: monarchdodra Good point, done. - Reply to this email directly or view it on GitHub. The "view it on Github" is a link to the message. So I can see what this is about. But it would be nice if the pull request title was more descriptive. I don't know what issue 12419 is. Please note, I am not complaining about the volume of pull request chatter, this is great! But the title of the pull request should describe what it logically is without having to click through to a bug report or read everything about the pull request. If you want to say "fix issue XXX", please repeat the bug title at least. -SteveI know exactly what you are talking about. I had this same issue with git at one of my previous jobs. We used to have commit messages that were tied to tickets, and we'd have messages like, "Fix coworkers noticed this, thought referencing the bug was a good idea and switched... only to writing the bug number in the commit message and nothing else. So 'git log' read kind of like this. It was really frustrating.
Mar 25 2014
On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:To all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project. A recent message in my email: monarchdodra Good point, done. - Reply to this email directly or view it on GitHub. The "view it on Github" is a link to the message. So I can see what this is about. But it would be nice if the pull request title was more descriptive. I don't know what issue 12419 is. Please note, I am not complaining about the volume of pull request chatter, this is great! But the title of the pull request should describe what it logically is without having to click through to a bug report or read everything about the pull request. If you want to say "fix issue XXX", please repeat the bug title at least. -SteveI wonder if we can get github to add support to linking our tracker. Unless it already has it?
Mar 25 2014
On Tuesday, 25 March 2014 at 08:38:32 UTC, Rikki Cattermole wrote:On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer wrote:I made this userscript a few years ago, when D development was moved to GitHub: http://dump.thecybershadow.net/b7d2e2759116df7a83ee2f4678856a1e/dbuglinks.user.js It acts on the "issue NNNN" pattern, because the "#NNNN" pattern is already used by GitHub to link to its issues / pull requests.To all who are generating pull requests: I get emails for every pull request message that is posted, as do anyone who is subscribed to the github project. A recent message in my email: monarchdodra Good point, done. - Reply to this email directly or view it on GitHub. The "view it on Github" is a link to the message. So I can see what this is about. But it would be nice if the pull request title was more descriptive. I don't know what issue 12419 is. Please note, I am not complaining about the volume of pull request chatter, this is great! But the title of the pull request should describe what it logically is without having to click through to a bug report or read everything about the pull request. If you want to say "fix issue XXX", please repeat the bug title at least. -SteveI wonder if we can get github to add support to linking our tracker. Unless it already has it?
Mar 25 2014