On 19/05/2016 3:06 AM, Jacob Carlborg wrote:
On 2016-05-18 17:05, Daniel Murphy wrote:
No, because #99 is a github pull request reference.
GitHub uses the same syntax to refer to issues and pull requests. If the
syntax works for GitHub I don't see why it can't work for us. No point
in inventing a new syntax when a lot of developers are already familiar
with the GitHub syntax.
Yes, and the numbers overlap with the bugzilla issue numbers.
So if I say '#3' it will think I mean
https://github.com/dlang/dmd/pull/3 instead of
https://issues.dlang.org/show_bug.cgi?id=3
