Thank you for helping improve Push.
Start with the developer contribution guide. It covers local setup, the code map, required checks, and the documentation workflow.
Before opening a pull request:
- Keep the change focused.
- Add or update tests when behavior changes.
- Run the checks in the developer guide.
- Explain the reason for the change and any risk.
For bugs and feature ideas, use the matching GitHub issue form. Do not report security problems in a public issue. Follow the security policy instead.
By taking part, you agree to follow the code of conduct.