Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat!: use mise for managing the dev env #1656

Merged
merged 11 commits into from
Dec 20, 2024
Merged

feat!: use mise for managing the dev env #1656

merged 11 commits into from
Dec 20, 2024

Conversation

onedr0p
Copy link
Owner

@onedr0p onedr0p commented Dec 19, 2024

  • Uses mise for workstation CLI tools and Python venv
  • devcontainer is removed for now because the local workstation setup is much easier with mise. This might return in the future, PRs accepted that fit into the new mise workflow.

Signed-off-by: Devin Buhl <devin@buhl.casa>
@github-actions github-actions bot added area/github Changes made in the github directory area/taskfile labels Dec 19, 2024
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
@onedr0p onedr0p changed the title feat(mise)!: Utilize mise for managing CLI tools and Python venv feat!: Use mise for managing CLI tools and Python venv Dec 20, 2024
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
Signed-off-by: Devin Buhl <devin@buhl.casa>
@onedr0p onedr0p changed the title feat!: Use mise for managing CLI tools and Python venv feat!: use mise for managing the dev env Dec 20, 2024
@onedr0p onedr0p merged commit 8aa35f4 into main Dec 20, 2024
2 checks passed
@onedr0p onedr0p deleted the mise-all-the-things branch December 20, 2024 03:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/github Changes made in the github directory area/taskfile
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant