[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GitHub PR ticket spam

Nice! Thanks for getting this done.

    On Wednesday, August 8, 2018, 2:21:22 PM PDT, Mick Semb Wever <mck@xxxxxxxxxx> wrote:  
 > > 
> > Great idea. +1 to moving it to the work log.
> > 

This is working now.

See eg 
 (which I hijacked for testing and the comments in the PR have since been deleted)


To unsubscribe, e-mail: dev-unsubscribe@xxxxxxxxxxxxxxxxxxxx
For additional commands, e-mail: dev-help@xxxxxxxxxxxxxxxxxxxx