chore(envrc): track .envrc, gitignore .envrc.local

[claude-puntlabs]

Summary

• .envrc is now tracked (portable config, committed to git)
• .envrc.local is gitignored (machine-specific secrets)
• Removed .envrc from .gitignore
• Ensured .envrc.local is in .gitignore

Test plan

• git status shows .envrc as tracked
• git status does not show .envrc.local
• direnv allow loads both files correctly

---

Note

Low Risk
Low risk: only affects local developer environment/loading behavior via direnv, with no runtime or application logic changes.

Overview
Adds a tracked .envrc that sources shared git identity config, optionally loads .envrc.local, and sets up a project-local TMPDIR.

Updates .gitignore to stop ignoring .envrc (so the shared config is committed) while ensuring .envrc.local and .tmp/ remain untracked for machine-specific settings and temp files.

^{Written by Cursor Bugbot for commit 37b7e08. This will update automatically on new commits. Configure here.}

[Copilot]

Pull request overview

Tracks a shared direnv configuration in the repo by committing .envrc, while keeping machine-specific overrides/secrets in an ignored .envrc.local.

Changes:

• Stop ignoring .envrc so it can be committed.
• Add a tracked .envrc that loads a local override file, sets TMPDIR, and ensures the temp directory exists.

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated 1 comment.

File	Description
.gitignore	Removes .envrc from ignored environment files (keeps .envrc.local ignored).
.envrc	Introduces a shared direnv entrypoint with optional local config and repo-scoped temp directory setup.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

[Copilot]

Pull request overview

Copilot reviewed 1 out of 2 changed files in this pull request and generated 1 comment.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.