a36895d55cb72050fad03a886aa2197d193e549d

Author
TheEdgeOfRage <git@theedgeofrage.com>
Committer
TheEdgeOfRage <git@theedgeofrage.com>
Date

Message

Add github username to agents.md

Diff

 1diff --git a/dot_pi/private_agent/AGENTS.md b/dot_pi/private_agent/AGENTS.md
 2index c0a839073c486f14f15989f2bb50aaa51f1095b5..24e4c0a95ffd534e766820f3adc4bd45a0f083a2 100644
 3--- a/dot_pi/private_agent/AGENTS.md
 4+++ b/dot_pi/private_agent/AGENTS.md
 5@@ -32,6 +32,7 @@ If a file edit fails because of non-matching lines, re-read it first and merge y
 6 - Use `git switch` (not `git checkout`) when changing or creating branches
 7 - Keep branch names very short and simple. Don't append names or ticket numbers to the branch name
 8 - When pushing feature branches, always use the full push command `git push origin <branch>`
 9+- My GitHub username is TheEdgeOfRage
10 
11 ## Remote access
12