Skip to content

Fix public submodule metadata#47

Merged
bordeauxred merged 1 commit into
mainfrom
enhancement/issue-33-fix-public-submodule-metadata
Apr 19, 2026
Merged

Fix public submodule metadata#47
bordeauxred merged 1 commit into
mainfrom
enhancement/issue-33-fix-public-submodule-metadata

Conversation

@tianyibigdata
Copy link
Copy Markdown
Collaborator

Fix public submodule metadata to add taubench and other public accessible git repos.

@tianyibigdata tianyibigdata self-assigned this Apr 19, 2026
@tianyibigdata tianyibigdata linked an issue Apr 19, 2026 that may be closed by this pull request
4 tasks
Copy link
Copy Markdown

@gemini-code-assist gemini-code-assist Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request adds the enterpriseops-gym and tau submodules to the project. The review feedback suggests correcting the GitHub organization for the enterpriseops-gym repository to ensure it matches the dataset source and adding a branch specification for the tau submodule to maintain compatibility with its environment adapter.

Comment thread .gitmodules
Comment thread .gitmodules
Signed-off-by: getianyi <getianyi602@gmail.com>
@tianyibigdata tianyibigdata force-pushed the enhancement/issue-33-fix-public-submodule-metadata branch from 824005d to 9003042 Compare April 19, 2026 20:37
@bordeauxred bordeauxred merged commit f2073c4 into main Apr 19, 2026
4 checks passed
@bordeauxred bordeauxred deleted the enhancement/issue-33-fix-public-submodule-metadata branch April 19, 2026 20:50
bordeauxred pushed a commit that referenced this pull request May 22, 2026
Signed-off-by: getianyi <getianyi602@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix public submodule metadata

2 participants