docs: add section on collaborative development to contributing doc (#2029)

This commit is contained in:
Josh McKinney 2025-07-30 14:01:34 -07:00 committed by GitHub
parent c845fec765
commit 71ef65b624
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -135,6 +135,14 @@ Changes to project configuration files require special consideration:
Please discuss these changes in an issue before implementing them.
### Collaborative development
We may occasionally make changes directly to your branch—such as force-pushes—to help move a PR
forward, speed up review, or ensure it meets our quality standards. If you would prefer we do not do
this, or if your workflow depends on us avoiding force-pushes (for example, if your app points to
your branch in `Cargo.toml`), please mention this in your PR description and we will respect your
preference.
## Implementation Guidelines
### Setup