argoyle
dafe37343f
When updating an existing release PR, the workflow now rebases the next-release branch onto the base branch using Gitea's PR update API with style=rebase. This keeps the PR up to date with main without force-pushing or deleting the branch. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
12 lines
203 B
JSON
12 lines
203 B
JSON
{
|
|
"permissions": {
|
|
"allow": [
|
|
"Bash(but --help:*)",
|
|
"Bash(but rub --help:*)",
|
|
"WebSearch",
|
|
"WebFetch(domain:docs.gitea.com)",
|
|
"WebFetch(domain:gitea.com)"
|
|
]
|
|
}
|
|
}
|