IRC channel logs
2022-10-02.log
back to list of logs
<rekado>now it’s a bit late for a forced push <rekado>I wonder if force pushing causes problems <rekado>it could lead to an upgrade being seen as a downgrade attack <civodul>so AFAICS it was impossible to pull the latest commit over the last 2-3 weeks <civodul>not a great situation to be in though :-/