docs: add remote Git credentials info to AGENTS.md

AGENTS.md

@@ -2,6 +2,20 @@
 
 **What it is:** A single-page HTML dashboard tracking cbBTC acquisition across wallets. No build step, no JS framework, no tests — just one `index.html` served by nginx.
 
+## Remote Git
+
+**Repository:** `https://git.kapuscinski.pl/p1otek/dione.git`
+
+Credentials are stored in `~/.config/opencode/.env`:
+
+```
+GIT_USERNAME=p1otek
+GIT_TOKEN=<PAT>
+GIT_ADDRESS=https://git.kapuscinski.pl/
+```
+
+All git push/pull commands must use these credentials — do **not** hardcode the token in scripts or commands. Use the token via environment variable `GIT_TOKEN` or via the remote URL (`https://p1otek:${GIT_TOKEN}@git.kapuscinski.pl/p1otek/dione.git`).
+
 ## How to run
 
 ```bash
@@ -75,6 +89,7 @@ stream.connect();
 | `revokeVerification(address, chain)` | Resets to unverified |
 | `findWallet(address, chain)` | Lookup helper |
 | `getWallets()` | Returns deep copy of state |
+| `setWalletOrder(addresses)` | Reorders internal array to match address order, persists |
 
 ### WalletVerifier