> 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.
-- With best regards, Anton Korobeynikov Department of Statistical Modelling, Saint Petersburg State University
_______________________________________________ lldb-dev mailing list lldb-dev@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev