A problem with the git server?

Computational typesetting
1

Hi,

I try to install Pollen (raco pkg install pollen) but the download seems to be stuck indefinitely. Here is the output:

Resolving "pollen" via https://download.racket-lang.org/releases/8.12/catalog/
Resolving "pollen" via https://pkgs.racket-lang.org
Downloading repository https://git.matthewbutterick.com/mbutterick/pollen.git commit 1fa3f236c232c9bf24fae370bb8f4e88c25391f1

Is that a problem on my end, or the git server doesn’t respond?

Thanks,
Maja :heart:₊˚

2

I was notified of a network outage yesterday but then it resolved itself. It seems to be working normally now.

1 Like
3

Thank you for your reply :slight_smile:

It still doesn’t work for me. When I try to git clone https://git.matthewbutterick.com/mbutterick/pollen.git I get Cloning into 'pollen'... and no further response until I wait long enough for the following error message to appear:

fatal: unable to access 'https://git.matthewbutterick.com/mbutterick/pollen.git/': Failed to connect to git.matthewbutterick.com port 443 after 134392 ms: Couldn't connect to server

Similarly, when trying to visit https://git.matthewbutterick.com/mbutterick/pollen.git with a web browser I get The connection has timed out (an internal Firefox error, not a webpage with this error message) after a while.

4

OK, this seems to be a problem related to firewalling or something (on your side; I’ve had no problem with other git servers). When I try to git clone […] or to raco pkg install pollen without a VPN, the server does indeed not respond, but when I use a VPN everything works fine.