> And they are hosted in Germany, which adds a few seconds to every remote command

Except, you know, if you live in Germany. Heaven forbid we get decent ping once in a while :)

You’re still going to get better p80s from GitHub , across the Atlantic