<div dir="auto">This thread needs resurrection. If I read it correctly, there are no major concerns behind the migration. We have not completely migrated to GitHub issues. If we have, then we have to update our documentation. <div dir="auto"><br></div><div dir="auto">With the new revamped GitHub Issues coming this fall, it would be really productive for us to deprecate the existing bug tracking system and step towards having a common place for the repo and issues. </div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div></div>