[x]: Move the read/write repository from Subversion to Git and
leverage the features of Github (for now Actions and PR).

Reply via email to