>For the past few months, I have been tinkering in private with a script to >copy over our bugs to Github issues.
But there are already public scripts to do so that work just fine. The only real loss is that all issues end up being created under a single user on github as you can't fake issue creator/comment names. _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
