diff options
| author | Paul Buetow <paul@buetow.org> | 2026-02-07 22:48:59 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-02-07 22:48:59 +0200 |
| commit | 6eb57bedcd9d82e54a6c2162ee223416ea977c65 (patch) | |
| tree | c202414bf799d413836dd3e17190f5df3620918b /f3s | |
| parent | bc913f76bcb598fe8ac4b40bf3f2d11ec26d723f (diff) | |
docs(agents): add note about pushing to internal git server
Add reminder to push changes to r0 for ArgoCD sync and note about
accepting new SSH host keys.
Co-authored-by: Cursor <cursoragent@cursor.com>
Diffstat (limited to 'f3s')
| -rw-r--r-- | f3s/AGENTS.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/f3s/AGENTS.md b/f3s/AGENTS.md index e6c51bb..cb86d54 100644 --- a/f3s/AGENTS.md +++ b/f3s/AGENTS.md @@ -1,5 +1,7 @@ Follow file:///home/paul/Notes/snippets/f3s/f3s.md +To push the changes to the internal git server so that ArgoCD is aware of it run 'git push r0', ssh host key may has changed, accept it. + ## Security Policy - **Never commit secrets to git.** This includes SSH private keys, API tokens, passwords, and any other sensitive credentials. |