On 2023-05-11 13:45, Ruediger Pluem wrote:
On 5/11/23 5:40 PM, Daniel Gruno wrote:
On 2023-05-11 10:33, Ruediger Pluem wrote:
On 5/11/23 12:27 PM, Ruediger Pluem wrote:
On 5/4/23 10:34 AM, Ruediger Pluem wrote:
This is a formal vote on whether we should move our read/write repository
On 5/11/23 5:40 PM, Daniel Gruno wrote:
> On 2023-05-11 10:33, Ruediger Pluem wrote:
>>
>>
>> On 5/11/23 12:27 PM, Ruediger Pluem wrote:
>>>
>>>
>>> On 5/4/23 10:34 AM, Ruediger Pluem wrote:
This is a formal vote on whether we should move our read/write repository
from Subversion to
On 2023-05-11 10:33, Ruediger Pluem wrote:
On 5/11/23 12:27 PM, Ruediger Pluem wrote:
On 5/4/23 10:34 AM, Ruediger Pluem wrote:
This is a formal vote on whether we should move our read/write repository from
Subversion to Git.
This means that our latest read/write repository will be no
On 5/11/23 12:27 PM, Ruediger Pluem wrote:
>
>
> On 5/4/23 10:34 AM, Ruediger Pluem wrote:
>> This is a formal vote on whether we should move our read/write repository
>> from Subversion to Git.
>> This means that our latest read/write repository will be no longer available
>> via
On 5/4/23 10:34 AM, Ruediger Pluem wrote:
> This is a formal vote on whether we should move our read/write repository
> from Subversion to Git.
> This means that our latest read/write repository will be no longer available
> via svn.apache.org. It
> will be available via Git at
>