remove clan-bot

gitea has auto-merge builtin, so we don't need the clan-bot.
This commit is contained in:
Jörg Thalheim
2025-03-11 15:02:39 +01:00
parent 59cca52f55
commit f8118cd2bf
2 changed files with 0 additions and 3 deletions

View File

@@ -17,8 +17,6 @@ cmd = [
"origin",
"upstream",
"main",
"--assignees",
",".join(["clan-bot", *args.reviewers]),
*(["--labels", "needs-review"] if not args.no_review else []),
*args.args,
]

View File

@@ -72,7 +72,6 @@ fi
git push --force -u "$remoteFork" HEAD:refs/heads/"$tempRemoteBranch"
tea pr create \
--repo "$repo" \
--head "$user:$tempRemoteBranch" \