The github mirror is useful to keep because its usually far faster than launchpad and easier to deal with for personal development.
The benefit is that after someone does all their work on github, one can simply push it back to launchpad with zero issues by just adding another remote. Bzr on the other hand, just pushing a branch back to launchpad could make it explode, heh. _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : kicad-developers@lists.launchpad.net Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp