Skip to content

docs: repository locking#67

Merged
rmanibus merged 1 commit into
mainfrom
doc/locks
Mar 7, 2026
Merged

docs: repository locking#67
rmanibus merged 1 commit into
mainfrom
doc/locks

Conversation

@rmanibus
Copy link
Copy Markdown
Contributor

@rmanibus rmanibus commented Mar 7, 2026

Summary

Add repository locking documentation.

What Changes

  • Documentation updates describing repository lock behavior and operational guidance.

Notes

  • Docs-only PR.

@rmanibus rmanibus changed the title doc: locking doc: Repository Locking Mar 7, 2026
@rmanibus rmanibus merged commit 1df3b04 into main Mar 7, 2026
1 check passed
@rmanibus rmanibus deleted the doc/locks branch March 7, 2026 21:52
rmanibus added a commit that referenced this pull request Mar 10, 2026
@rmanibus rmanibus changed the title doc: Repository Locking docs: repository locking Mar 15, 2026
@rmanibus rmanibus added the documentation Improvements or additions to documentation label Mar 15, 2026
@rmanibus rmanibus added this to the v1.9.3 milestone Mar 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant