On 2023-05-04 07:48, Eric Covener wrote:
[x]: Move the read/write repository from Subversion to Git and leverage the features of Github (for now Actions and PR).
[x]: Move the read/write repository from Subversion to Git and leverage the features of Github (for now Actions and PR).