Here's the latest...
- No new tickets were filed this week. That's a relief.
- No tickets were closed this week. Better get on that.
Some recent discussions you might care about...
BTW: Removing existing repos and adding new repos works perfectly fine, only the editing of existing repos is an issue.