dspinellis/git-mine-briefing not found