Skip to content

Use mise to manage dev tools#2779

Draft
blackmwk wants to merge 2 commits into
apache:mainfrom
blackmwk:ir-mise
Draft

Use mise to manage dev tools#2779
blackmwk wants to merge 2 commits into
apache:mainfrom
blackmwk:ir-mise

Conversation

@blackmwk

@blackmwk blackmwk commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

Which issue does this PR close?

What changes are included in this PR?

Using mise instead of make file to manage dev tools.

Are these changes tested?

Local and ci.

@blackmwk blackmwk marked this pull request as draft July 7, 2026 02:07
@kevinjqliu

Copy link
Copy Markdown
Contributor

thanks @blackmwk! feel free to tag me when this is ready for review 😄

@Kurtiscwright

Copy link
Copy Markdown
Contributor

I am pretty +1 for this approach, thank you @blackmwk for getting a PR out for this!

@blackmwk

Copy link
Copy Markdown
Contributor Author

One concern I have is that from last community's sync, I can feel that mise is not as ubiquitous as make file, and it may break existing contributor's workflow.

@blackmwk

Copy link
Copy Markdown
Contributor Author

#2793 is a good justification for this change.

@Kurtiscwright

Copy link
Copy Markdown
Contributor

@blackmwk is there any remaining changes you are thinking of making before moving this PR out of draft status?

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.

3 participants