Instructions of agents Use make to run development tasks Before committing files, ensure that related lint tasks in make pass Never force-push to pull request branches Always start issue and pull request comments with an authorship attribution