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

tea-create-pr: don't use clan-core formatter

2025-01-17 19:22:19 +07:00

script.sh

remove clan-bot

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