On Thu, Jan 12, 2017 at 1:57 AM, Johannes Schindelin <johannes.schinde...@gmx.de> wrote: > Hi Jake, > > On Wed, 11 Jan 2017, Jacob Keller wrote: > >> From: Jacob Keller <jacob.kel...@gmail.com> >> >> Extend name-rev further to support matching refs by adding `--discard` >> patterns. > > Same comment applies as for 5/5: `--exclude-refs` may be a better name > than `--discard`. >
I agree, will change. Thanks, Jake > Ciao, > Dscho
