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 <onepo...@starurchin.org> 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
> 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

Reply via email to