# HG changeset patch # User Dirk Olmes <dirk@xanthippe.ping.de> # Date 1507188668 -7200 # Node ID a8fd9ba4d2bc06545a0c05294a96a8fa3bc98a44 # Parent abe96094c876674567ad67180b6009a7baa16bbc# Parent 9068de5302cec13d244ee0405a5c6e0fc232af0a merge with upstram diff -r 9068de5302ce -r a8fd9ba4d2bc .gitconfig --- a/.gitconfig Tue May 23 17:28:03 2017 +0200 +++ b/.gitconfig Thu Oct 05 09:31:08 2017 +0200 @@ -7,6 +7,7 @@ rpo = remote prune origin smu = submodule update --recursive --remote st = status + tags = tag --list --sort=version:refname wipe = !git add -A && git commit -qm 'WIPE SAVEPOINT' && git reset HEAD~1 --hard wt = worktree