chore: make Gitea the primary remote, GitHub as mirror
- Migrate CI workflow from GitHub Actions to Gitea Actions - Update /pr command to create/merge PRs on Gitea only - Update /release command to create releases on Gitea only - Remove /pr-create and /pr-merge commands (consolidated into /pr) - Push code and tags to both remotes for GitHub mirroring
This commit is contained in:
@@ -7,7 +7,6 @@ All changes go through PRs:
|
||||
1. Enter a worktree (`EnterWorktree`) at session start.
|
||||
2. Make changes, commit with semantic messages.
|
||||
3. `/pr` to push, open a PR, wait for CI, and squash-merge.
|
||||
(Or use `/pr-create` and `/pr-merge` separately for more control.)
|
||||
|
||||
## Releasing
|
||||
|
||||
|
||||
Reference in New Issue
Block a user