Jörg Thalheim f8118cd2bf 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

re-format with nixfmt

2024-03-17 19:48:49 +01:00

merge-after-ci.py

remove clan-bot

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