> On Dec 12, 2024, at 1:04 PM, Dave Fisher <[email protected]> wrote:
>
> 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?
>
Personally, I think that the latter makes more sense. I see no real reason why
they need to be sep repos.
--
Jim
"If you can dodge a wrench, you can dodge a ball."
