[...] git pull would do a fetch and merge together, but you want to fetch and rebase -- you can set your .gitconfig to do the fetch and rebase, but I think it's easier to follow along with what's going on if you do the fetch separately and check the tree each time with git hist.
If we are speaking about git tips - I think 'git pull --rebase' is even simpler in this case.
Cheers, Orson _______________________________________________ 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
