Jörg Thalheim 9708bdc6e7 remove clan-bot ...

gitea has auto-merge builtin, so we don't need the clan-bot.

2025-03-11 15:02:41 +01:00

..

default.nix

…

merge-after-ci.py

remove clan-bot

2025-03-11 15:02:41 +01:00