On 5/4/23 10:34, Ruediger Pluem wrote:
[X]: Move the read/write repository from Subversion to Git and leverage the features of Github (for now Actions and PR).
-- Cheers Jean-Frederic
On 5/4/23 10:34, Ruediger Pluem wrote:
[X]: Move the read/write repository from Subversion to Git and leverage the features of Github (for now Actions and PR).
-- Cheers Jean-Frederic