FYI, I don't think I will manage to get the github mirror going before medio next week.
2016-07-05 18:41 GMT+02:00 Wayne Stambaugh <[email protected]>: > I'm OK with this. I just was on github and I didn't see any way to pull > from a different repo in the add new repo section of github. Would the > person (I think it was Miguel) who set this up for the product branch > please create a mirror on github for the stable 4 branch? > > Thanks, > > Wayne > > On 7/5/2016 12:20 PM, Michael Steinberg wrote: >> Hey, >> >> would it be possible to add the stable branch to the git mirror as well? >> That would make my work much easier. Take this as a wishlist-item ;) >> >> Michael >> >> >> _______________________________________________ >> Mailing list: https://launchpad.net/~kicad-developers >> Post to : [email protected] >> Unsubscribe : https://launchpad.net/~kicad-developers >> More help : https://help.launchpad.net/ListHelp > > _______________________________________________ > Mailing list: https://launchpad.net/~kicad-developers > Post to : [email protected] > Unsubscribe : https://launchpad.net/~kicad-developers > More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp

