Closed ascherer closed 7 years ago
absolutely non-trivial commit — had to fix HEAD~4 and push -f several times — duh!
HEAD~4
push -f
absolutely non-trivial commit — had to fix
HEAD~4andpush -fseveral times — duh!