Mike Travis <travis@xxxxxxx> writes: > 23> git-remote update > Updating linus > Updating tip This only updates the remotes, but does not merge anything into your local branch. You need to run "git merge tip" to do that. Andreas. -- Andreas Schwab, SuSE Labs, schwab@xxxxxxx SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany PGP key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."
