On Mon, Aug 10, 2015 at 8:51 PM, Sisyphuss <[email protected]> wrote: > > > On Tuesday, August 11, 2015 at 2:32:01 AM UTC+2, Yichao Yu wrote: >> >> On Mon, Aug 10, 2015 at 7:52 PM, Sisyphuss <[email protected]> wrote: >> > >> > >> > I saw this in recent commits. >> > >> > What's the purpose of it? >> >> https://github.com/JuliaLang/julia/pull/12440 >> >> Leave a comment at the commit or at least include a link to it when >> you post it elsewhere (like this list) would be better. > > > It was truly a question.
What I meant is that for people on the list who aren't closely following that commit, it will be hard for them to figure out which commit your are talking about. I wouldn't know what you are reference to if I didn't happen to be the one that brought it up... (OK, they can go search but that's still more confusing than if you provide a link to the commit) > I didn't know I can click on the "#12440" to see the answer. If the commit comes with a PR, there's usually some explaination there. (and github is doing a fairly good job at cross referencing...) > Anyway, thanks for the answer. >
