On 2020-01-30, Anton Korobeynikov via cfe-dev wrote:
Will you be able to start numbering in github at a number larger than the
largest bug in bugzilla? It would be annoying to have overlapping bug numbers.
Bug numbers exist in code comments, list archives, etc., etc. If someone
reads 'clang bug #1234' somewhere it will be ambiguous, which would be a real
shame.
This won't work in general, unfortunately as there are already a bunch
of PRs and issues opened... And github uses consecutive numbering for
all PRs, issues and such... So, there is already overlap here.
It'd be nice if Github allows to bump the issue counter to 44000+ .
(current largest https://bugs.llvm.org/show_bug.cgi?id= id is 44000+)
Then the website can set up a redirector:
http://llvm.org/PR1 => https://bugs.llvm.org/show_bug.cgi?id=1
...
http://llvm.org/PR44000 => https://bugs.llvm.org/show_bug.cgi?id=44000
...
http://llvm.org/PR45000 => https://github.com/llvm/llvm-project/issue/45000
http://llvm.org/PR50000 => https://github.com/llvm/llvm-project/issue/50000
_______________________________________________
lldb-dev mailing list
lldb-dev@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev
