On 11/14/2016 01:17 AM, Denis Davydov wrote:
If you know an easy way to script this, please go ahead. At least for opened issues it would be helpful.
I could easily do this with the ghi script, but on second thought: - We only have a couple of issues left - I already find the list of labels too long, and adding another label for something we're not likely going to use on a regular basis seems like the wrong direction to go. I'll reconsider if we do this exercise on a semi-regular basis. Best W. -- ------------------------------------------------------------------------ Wolfgang Bangerth email: [email protected] www: http://www.math.colostate.edu/~bangerth/ -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
