Also, should we remove those old SVN mirror repos so no one else
stumbles across them by mistake?
On Tue, Dec 24, 2019 at 6:01 AM Robert Scholte wrote:
>
> I think something went wrong here.
> This project use to be the aggregator project in subversion.
> In the early days there were read-only re
Can't wait to see it integrated, as I will add another PR based on the
previous one to emit a message and deprecate that new method.
Do I need to do something to have the PR merged?
On Sun, 29 Dec 2019, 17:38 Enrico Olivelli, wrote:
> Il dom 29 dic 2019, 16:02 Benjamin Marwell ha
> scritto:
