Sorry, I haven’t found time to migrate the repository to an alternative location.
Max > On 18 Jun 2015, at 16:44, Jeremy Henty <onepo...@starurchin.org> wrote: > > > 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 _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
