alexion/dev
1
0 Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Update flake inputs #22

Merged
alexion merged 0 commits from refs/pull/22/head into main 2026-09-07 22:15:26 -04:00
Conversation 0 Commits - Files Changed -
+2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f940fc3fd2 - Show all commits
AGENTS.md
+2
View File
@@ -19,6 +19,8 @@
## Pull requests ## Pull requests
- Always create a new branch before opening a pull request.
Never open a pull request directly from a shared or existing work branch.
- During pull-request development, add follow-up commits instead of amending existing commits. - During pull-request development, add follow-up commits instead of amending existing commits.
Preserve review history until the pull request is ready to merge. Preserve review history until the pull request is ready to merge.
- When the user says a pull request is merged, clean up the local branch without waiting for an explicit request. - When the user says a pull request is merged, clean up the local branch without waiting for an explicit request.