Development

For development practices, we prefer tools over documentation. The notes here complement our tools (e.g. CI, GitHub config), but have lower priority.