<div class="notImForSent"><div>> 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.<br>This won't work in general, unfortunately as there are already a bunch<br>of PRs and issues opened... And github uses consecutive numbering for<br>all PRs, issues and such... So, there is already overlap here.</div><div>-- <br>With best regards, Anton Korobeynikov<br>Department of Statistical Modelling, Saint Petersburg State University<br></div> <div style="display: none; max-height: 0px;">    </div> </div><div></div><img alt="" width="1" height="1" src="https://gml.email/v1.1/t/image/VUlEfDFkZjY1NjVkLWRjNTUtNGFjYS1hZTljLWJmYTQzZDY2M2VhNHxjZmUtZGV2QGxpc3RzLmxsdm0ub3Jn.gif"/>