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@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
