samueldr changed the topic of #nixos-infra to: NixOS infrastructure | logs: https://logs.nix.samueldr.com/nixos-infra/
cole-h has joined #nixos-infra
cole-h has quit [Quit: Goodbye]
tilpner_ has joined #nixos-infra
tilpner has quit [Ping timeout: 240 seconds]
tilpner_ is now known as tilpner
LnL has quit [Quit: exit 1]
cole-h has joined #nixos-infra
cole-h_ has joined #nixos-infra
cole-h has quit [Ping timeout: 240 seconds]
cole-h has joined #nixos-infra
cole-h_ has quit [Ping timeout: 260 seconds]
cole-h has quit [Quit: Goodbye]
cole-h has joined #nixos-infra
cole-h has quit [Quit: Goodbye]
LnL has joined #nixos-infra
tilpner has quit [Remote host closed the connection]
tilpner has joined #nixos-infra
cole-h has joined #nixos-infra
cole-h has quit [Client Quit]
cole-h has joined #nixos-infra
cole-h has quit [Quit: Goodbye]
cole-h has joined #nixos-infra
<garbas[m]> just FYI status.nixos.org is now served from netlify. details in https://github.com/NixOS/nixos-org-configurations/pull/137
<garbas[m]> if there is somebody here that can review the above PR and redeploy eris I'd really appreciate it.
* garbas[m] is cleaning up the todo list before 2020 ends 😇