Agreed. Should we call the git version openoffice-devtools.git? Or do we move 
these to a devtools directory in openoffice.git?

We can then archive the directories that are no longer relevant

> On Dec 12, 2024, at 2:26 AM, Jim Jagielski <[email protected]> wrote:
> 
> The `devtools` repo is still hosted under svn... should we migrate it to git?
> --
> Jim
>            "If you can dodge a wrench, you can dodge a ball."
> 
> 
> 


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to