[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] What happened to the git mirror at gitorius ?
From: |
Miguel de Benito Delgado |
Subject: |
Re: [Texmacs-dev] What happened to the git mirror at gitorius ? |
Date: |
Thu, 18 Jun 2015 15:45:01 +0200 |
Gitorious is now owned by Gitlab, maybe one has to change some config
manually, the urls changed or something.
Massimiliano?
--
Miguel de Benito.
On Thu, Jun 18, 2015 at 3:35 PM, Jeremy Henty <address@hidden> wrote:
>
> I used to happily pull the TeXmacs source from the git mirror at
> gitorious but recently it started failing:
>
> $ git remote update --prune
> Fetching origin
> fatal: Could not read from remote repository.
>
> Please make sure you have the correct access rights
> and the repository exists.
> error: Could not fetch origin
>
> $ git config remote.origin.url
> git://gitorious.org/texmacs/texmacs.git
>
> Is it still maintained?
>
> Regards,
>
> Jeremy Henty
>
> _______________________________________________
> Texmacs-dev mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/texmacs-dev