On Mon, Jul 3, 2017 at 11:02 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > "Philip Oakley" <philipoakley@xxxxxxx> writes: > >> From: "Junio C Hamano" <gitster@xxxxxxxxx> >> >>> I am not sure what you are asking. Is this the command you are >>> looking for? >>> >>> $ grep -e "^[[*]" whats-cooking.txt >>> >> Ah, thanks. >> >> It does presume that one has extracted the email to the text file, >> which is easier on some systems and mail clients than others ;-) > > Perhaps you would want to find an e-mail client that can handle text > files better, then? ;-) > > If you are cloning and following along my tree from one of these > places: > > git://repo.or.cz/alt-git.git/ > git://git.kernel.org/pub/scm/git/git.git/ > git://github.com/git/git.git/ > > the 'todo' branch in these repositories keeps track of the > whats-cooking.txt report (among other things), so you can also: > > $ git cat-file -p origin/todo:whats-cooking.txt | > grep -e "^[[*]" > > to get the same effect. > FWIW: I have a script in my git dir, cat git/cookreport.sh git -C Meta pull origin todo Meta/cook -w with Meta being a repo tracking one of the URLs above. I might add a | grep -e "^[[*]" or add some scripting to verbose report my own topics. Thanks, Stefan
