Hello list! It would be very convenient if after git-pull I could see the new merged-in commits in the git-log. The simplest solution for this is to simply mark ORIG_HEAD in the output of git-log --decorate (and ideally also in gitk). Just thought to throw in this idea to developers. Perhaps it is not that hard to implement. Best, Yury -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html