"git-lunge-head: grep some non-sawing remote paths outside reset non-reducing local logs" git-man-page-generator.lokaltog.net