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 <j...@jagunet.com> 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: dev-unsubscr...@openoffice.apache.org
For additional commands, e-mail: dev-h...@openoffice.apache.org

Reply via email to