Add agent-tools repository #67
Reference in New Issue
Block a user
Delete Branch "benvin/agent-tools-repo"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Why
We need a new Gitea repository
agent-toolsto host theagentprandwatchprorchestrator CLI tools, which automate PR creation and monitoring as theunkin-agentidentity. Declaring it here keeps the repo definition under Terraform control like every other unkin repo.How
config/git.unkin.net/unkin/repository/agent-tools.yaml, mirroring the schema ofbenvin-utils.yaml(description, private, default_branch=main, default_delete_branch_after_merge, and amainbranch_protection rule withenable_push: false+Ownersapproval whitelist).After merge,
terraform applycreates the emptyagent-toolsGitea repository.