On 25/08/2020 19:59, Mechtilde wrote: > Hello, > > is it possible to use some of the commands in the script manually to fix > some repos, I created before?
I think we need a script to normalize the settings of the existing repositories but I've never found the time to write it. Any taker? Emmanuel Bourg
