nixos/AGENTS.md

284 B

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.