On Mon, Feb 11, 2019 at 10:23:25PM -0200, Matheus Tavares Bernardino wrote: > > > For the microproject "Add configuration options for some commonly used > > > command-line options", are there some options already known to be good > > > for adding to configuration file? > > > > Hmm. I don't offhand have any suggestions. That one has been floating > > around since at least 2015. I wonder if it may also be time to retire it > > (or give some more concrete examples). > > > > So it may be better if I choose another microproject, right? Yeah, I think so (though you are welcome to still do it if you have a particular option you care about; it just makes the micro-project a bit trickier). I peeked at the list (which I hadn't actually looked at yet this year!) and it looks like there are several other options that should work. -Peff
