Stream: Miscellaneous

Topic: Github problems


view this post on Zulip Emilio Jesús Gallego Arias (Sep 03 2020 at 16:43):

Hi folks, are you having issues accessing github or it is my ISP?

view this post on Zulip Pierre-Marie Pédrot (Sep 03 2020 at 16:45):

Works for me ©

view this post on Zulip Emilio Jesús Gallego Arias (Sep 03 2020 at 16:59):

Thanks, I'm getting some very weird errors

view this post on Zulip Ralf Jung (Sep 04 2020 at 11:04):

https://www.githubstatus.com/ is worth checking in such situations


Last updated: Jun 10 2023 at 06:31 UTC