It's a server problem, the easiest fix is to use [4] Start shell and then

git remote set-url origin http://git.clutter-project.org/clutter

and then hit Ctrl+D and [1] Rerun phase checkout.
_______________________________________________
gnome-shell-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-shell-list

Reply via email to