On Sep 16, 2014, at 2:59 PM, Paul Hargrove <phhargr...@lbl.gov> wrote:
> So the instructions from your reply is "create a github account if you wish > to continue filing tickets". I think that summarizes it, yes. > But don't you want/need the trac->github account mapping now to convert > existing tickets? > For instance, I am "phargrov" in your Trac, but "PHHargrove" at github. I actually have the mapping already. The *only* ID that is preserved between the two will be who the ticket is assigned to. All comments made on a ticket, and who initially filed the ticket, are only preserved in text. E.g., "phargrov initially filed this comment on <date>". > And by the way, on wiki page > https://github.com/open-mpi/ompi/wiki/SubmittingBugs you might consider > adding a link to the issue tracker, for folks not familiar with github > navigation . Good point; done. Thanks. -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
