Skip to content

chore: move mise tools to setup_localdev task#176

Merged
scottgerring merged 1 commit into
mainfrom
claude/issue-175-20260127-1142
Jan 27, 2026
Merged

chore: move mise tools to setup_localdev task#176
scottgerring merged 1 commit into
mainfrom
claude/issue-175-20260127-1142

Conversation

@jeastham1993

Copy link
Copy Markdown
Collaborator

Refactor mise.toml to remove global tool declarations and introduce a setup_localdev task for on-demand tool installation. This allows commands like mise compose:deploy:release to run without requiring all development tools to be installed on the host system.

Changes

  • Remove [tools] section with node, go, java, maven, and dotnet
  • Set auto_install = false to prevent automatic tool installation
  • Add setup_localdev task that installs all tools on-demand
  • Tools are installed globally and available across all projects

Resolves #175

Generated with Claude Code

Refactor mise.toml to remove global tool declarations and introduce
a setup_localdev task for on-demand tool installation. This allows
commands like `mise compose:deploy:release` to run without requiring
all development tools to be installed on the host system.

Changes:
- Remove [tools] section with node, go, java, maven, and dotnet
- Set auto_install = false to prevent automatic tool installation
- Add setup_localdev task that installs all tools on-demand
- Tools are installed globally and available across all projects

Resolves #175

Co-authored-by: James Eastham <jeastham1993@users.noreply.github.com>
@claude

claude Bot commented Jan 27, 2026

Copy link
Copy Markdown

Code review

No issues found. Checked for bugs and CLAUDE.md compliance.


@scottgerring

Copy link
Copy Markdown
Member

/merge

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented Jan 27, 2026

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-01-27 12:07:50 UTC ℹ️ Start processing command /merge


2026-01-27 12:07:56 UTC ℹ️ MergeQueue: waiting for PR to be ready

This pull request is not mergeable according to GitHub. Common reasons include pending required checks, missing approvals, or merge conflicts — but it could also be blocked by other repository rules or settings.
It will be added to the queue as soon as checks pass and/or get approvals. View in MergeQueue UI.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.


2026-01-27 15:23:16 UTC ⚠️ MergeQueue: This merge request was unqueued

scott.gerring@datadoghq.com unqueued this merge request since it was merged manually

@scottgerring

Copy link
Copy Markdown
Member

/remove

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented Jan 27, 2026

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-01-27 15:22:51 UTC ℹ️ Start processing command /remove


2026-01-27 15:23:13 UTC ℹ️ Devflow: /remove

@scottgerring scottgerring merged commit b6f5e10 into main Jan 27, 2026
9 of 10 checks passed
@scottgerring scottgerring deleted the claude/issue-175-20260127-1142 branch January 27, 2026 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

chore: remove mise tools from global config

2 participants