This git repo at Github mirrors the old Git repo. Is it possible to change
that to the new git repo, or should it be removed all together?

/Anders

Reply via email to