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

Re: GitHub PR ticket spam

> > 
> > 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