<div dir="ltr">The migration is now finished.<div><br></div><div>You can start creating issues with github issue.</div><div><br></div><div>We will keep trac enabled for tracking older eight issues, but will close any new issues about nine on trac.</div><div><br></div><div>Regards,</div><div>Pierre</div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Mar 9, 2017 at 3:52 PM Pierre Tardy <<a href="mailto:tardyp@gmail.com">tardyp@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg">Hello,<div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">If you followed the weekly meeting regularly, you should know that we are working in transitioning our bug tracker from trac tickets to github issues.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">We decided in the last meeting to go ahead and run the migration script this week, and I will run it in one hour.</div><div class="gmail_msg">We've taken the effort to map the email addresses as much as we can to github accounts, and the new issues will @mention your account if you participated to migrated tickets.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">This may result in a few emails in your mailbox, but this will help to keep best tracking. We apologies for the annoyance.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Regards,</div><div class="gmail_msg">Pierre</div></div></blockquote></div>