<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 30, 2020, 10:22 Tom Stellard via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
I want to restart this discussion.  There seemed to be support for this,<br>
but we got held up trying to decide on the appropriate set of tags to<br>
use to classify issues.<br>
<br>
I propose that we move forward with this proposal and disable creation of<br>
new bugs in bugzilla on Feb 11, and require all new bugs be filed via GitHub<br>
issues from that date forward.<br>
<br>
I think that for choosing the tags to use, we should just take requests<br>
from the community over the next week and add whatever is asked for.  The main<br>
purpose of adding tags is so we can setup cc lists for bugs, so I think this<br>
is a good way to ensure that we have tags people care about.  We can always<br>
add more tags later if necessary.<br>
<br>
What does everyone think about this?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Before disabling Bugzilla, I think there should be a way for those who don't have/want github accounts to create/comment-on bug reports (maybe a mailing list with a thread per bug?). Once that's done, I'm all for switching to github.</div><div dir="auto"><br></div><div dir="auto">Jacob</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>