Skip to content

docs: Document develop-to-main pull request workflow - #3

Merged
sunquakes merged 4 commits into
mainfrom
develop
Sep 30, 2026
Merged

sunquakes merged 4 commits into
mainfrom
develop

Conversation

@sunquakes

Copy link
Copy Markdown
Owner

Document the standard development flow in AGENTS.md:

  • Work on develop, or short-lived feature/xxx / fix/xxx branches cut from it
  • Open a reviewed pull request from develop into main before any release
  • Merge with a merge commit after review and green CI

A transient network failure during mise use --global (e.g. rustup

downloading from rsproxy.cn) used to leave the tool missing, since the

single install attempt was never retried and its failure was swallowed.

Retry up to three times with a growing pause and verify each attempt

with a fresh probe.
@sunquakes
sunquakes merged commit c6feb81 into main Sep 30, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant