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

Reply via email to