[llvm-dev] [cfe-dev] RFC: Switching from Bugzilla to Github Issues

[Fangrui Song via llvm-dev]

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