# Repository working preference

- After completing changes to this repository, commit and push them to `origin` before finishing. The user builds from the remote repository, not the local working tree.
- If a push fails, report the failure and leave the commit in place for a retry.