-
-
Notifications
You must be signed in to change notification settings - Fork 39
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: introduction of devshell #257
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, but just curious, why not devenv or similar projects?
@selfuryon I chose And why not Also with As with everything, it's not set in stone, so we can evaluate at a later date another tool that suits us better (even |
@aldoborrero can you sign the commits? |
1e15a96
to
2fd8345
Compare
2fd8345
to
60c2800
Compare
Mmm, it seems
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
This PR introduces
devshell
rather than usingmission-control