london-polis

Month: 2022-12

2022-12-03

zf 23:13:49
@brendanarnold this got merged yesterday! https://github.com/compdemocracy/polis/pull/1242#event-7942972302
🎉 1

2022-12-05

patcon 20:34:47
yessss! oh man, i'm so glad Chris got that merged 🙂 i feel like this is the start of good things in the codebase
patcon 20:34:47
yessss! oh man, i'm so glad Chris got that merged 🙂 i feel like this is the start of good things in the codebase

2022-12-11

Ruth 00:35:23
@ruth.wetters has joined the channel