Miguel de Benito Delgado wrote: > Gitorious is now owned by Gitlab, maybe one has to change some > config manually, the urls changed or something.
Thank you for the quick response Miguel! I looked at the Gitlab site (and Googled "migrate gitorious to gitlab") and I see that they emphasise onsite hosting. So I am wondering whether the TeXmacs git mirror is still at Gitlab or if it was moved to another host. Regards, Jeremy Henty _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
