I'd like your opinion about moving the libcdio git repository from savannah.gnu.org to github (or some other git repository)
The mechanisms at savannah.gnu.org have not been improving or developing while github, gitlab, etc., seem to be constantly improving. Your thoughts?
