Thanks to visit codestin.com
Credit goes to github.com

Skip to content

fix: agent ID retrieval in tools command#1677

Merged
tusharmath merged 1 commit into
mainfrom
fix/1670
Oct 7, 2025
Merged

fix: agent ID retrieval in tools command#1677
tusharmath merged 1 commit into
mainfrom
fix/1670

Conversation

@amitksingh1490

@amitksingh1490 amitksingh1490 commented Oct 7, 2025

Copy link
Copy Markdown
Contributor

fixes #1670

@github-actions github-actions Bot added the type: fix Iterations on existing features or infrastructure. label Oct 7, 2025
@tusharmath tusharmath merged commit 90c9845 into main Oct 7, 2025
10 checks passed
@tusharmath tusharmath deleted the fix/1670 branch October 7, 2025 11:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: fix Iterations on existing features or infrastructure.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bug: /tools command fails when firs run forge in new $HOME catalog

2 participants