Anyone else seeing this problem?
$ git pull
fatal: unable to access
'https://anonscm.debian.org/git/pkg-opencl/beignet.git/': Failed to
connect to anonscm.debian.org port 443: Connection refused
https://alioth.debian.org/ in a browser gives "can't establish a connection"