Keep local notes out of the branch

The provider migration notes are useful locally but should not ship with the PR. Stop tracking the docs directory and ignore it so future local notes do not reappear as untracked branch content.

Constraint: User requested removing docs from git while preserving the rest of the current branch
Confidence: high
Scope-risk: narrow
Tested: git diff --cached --name-status confirmed only docs removal and .gitignore change were staged
Not-tested: Full test suite; no runtime code changed in this commit
Co-authored-by: OmX <omx@oh-my-codex.dev>

Author: Ninot1Quyi

.gitignore

@@ -3,6 +3,7 @@
 node_modules/
 package-lock.json
 code_records/
+docs/
 scratch.js
 bots/**/action-code/**
 bots/**/