dev.git_terminate: proper "reflog expire" and pruning, taking 2-week-grace into account