Re: Problems with git.gnome.org

[Bastien Nocera <hadess hadess net>]

On Thu, 2018-09-06 at 14:09 +0100, John Emmas wrote:
> Hi guys - sorry for posting this here but I've tried gnome's 
> 'gitlab-issues' mailing list and couldn't get any response.  Maybe 
> someone here can help..?
>
> For the past few weeks I've been seeing errors if I try to update
> (i.e. 
> pull) certain libraries from git (e.g. pango / pangomm / gtkmm etc). 
> Here's what I see...
>
>      Looking up git.gnome.org ... done.

It's gitlab.gnome.org, not git.gnome.org anymore.