On 14/01/20 16:00 +0100, Andreas Schwab wrote:
On Jan 14 2020, Jonathan Wakely wrote:You can also just do "git log" and check which commits are more recent than the one shown as the upstream: $ git log commit 9e502f6deae9f821bd7079aad5f98a4f3bae15cf (HEAD -> master) Author: Jonathan Wakely <jwak...@redhat.com> Date: Tue Jan 14 13:34:02 2020 +0000 Recommend reviewing local changes before pushing them commit 83f833b74f2dada4235f1b68b2e3cab5e5bba757 Author: Jonathan Wakely <jwak...@redhat.com> Date: Tue Jan 14 13:16:12 2020 +0000 Fix indentation of .ssh/config snippet commit 10463a79371068a0b32d8babefb9cf2ee409f4d1 (origin/master, origin/HEAD) Author: Christophe Lyon <christophe.l...@linaro.org> Date: Tue Jan 14 13:48:19 2020 +0000 [arm] Document -mpure-code support for v6m in gcc-10 The one marked (origin/master, origin/HEAD) is the commit that is upstream, the ones before it are local.Note that you need have log.decorate enabled in your config, or use git log --decorate to enable the markers.
Thanks. Looks like log.decorate=auto is the default (so they're shown when the log goes to a terminal, not otherwise).
