[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] What happened to the git mirror at gitorius ?
From: |
Jeremy Henty |
Subject: |
Re: [Texmacs-dev] What happened to the git mirror at gitorius ? |
Date: |
Thu, 18 Jun 2015 15:44:44 +0100 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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