user-manual: how to replace commits older than most recent