<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Feb 2, 2017 at 2:13 AM, Alexander Belopolsky <span dir="ltr"><<a href="mailto:alexander.belopolsky@gmail.com" target="_blank">alexander.belopolsky@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><span class="gmail-"><br><div class="gmail_quote">On Wed, Feb 1, 2017 at 7:51 PM, Brett Cannon <span dir="ltr"><<a href="mailto:brett@python.org" target="_blank">brett@python.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">as the match should be probably s/issue #(\d+)/bpo-\1/ and it shows how easy it is to miss edge cases.</blockquote></div><br></span>No, I deliberately omitted the "issue" part because AFAIK things like "Closes #NNNN" are valid references. I don't mind seeing "issue bpo-NNNN", but wouldn't want to complicate the logic by worrying about "issue" vs. "Issue" and other possible variants. </div></div></blockquote><div><br></div><div>Issue vs issues is not a problem since we're ignoring case in most of the code dealing with those, already.<br></div><br></div><br></div><div class="gmail_extra">Personally I'd vote to bpo, but I'm biased about it, since it's the one coming from gh migration ;)<br><br>> How hard would it be to
s/#(\d+)/bpo-\1/ the commit messages during hg to git conversion? I did
something like that in the past when I converted an svn-based project
to git.
<br><br></div><div class="gmail_extra">> That's a question for Senthil, but I would be a little worried about
editing the history as the match should be probably s/issue
#(\d+)/bpo-\1/ and it shows how easy it is to miss edge cases.<br><br></div><div class="gmail_extra">Hmm... for all the #NNN in commits we'll get quite a few false links in github, so maybe removing the # would<br></div><div class="gmail_extra">be valuable, or replacing it with issue/bpo. <br> </div></div>