Skip to content

chore: add useful dev commands doc#69

Merged
mgabelle merged 1 commit intomasterfrom
chore/add-dev-commands-doc
Mar 17, 2025
Merged

chore: add useful dev commands doc#69
mgabelle merged 1 commit intomasterfrom
chore/add-dev-commands-doc

Conversation

@AcevedoR
Copy link
Contributor

What changes are being made and why?

improve docs by providing:

@mgabelle
Copy link
Contributor

Looks great ! It will definitely help as it's annoying to always keep looking online on the doc for the Dockerfile especially.
I'm merging it

@mgabelle mgabelle merged commit 67d7f6d into master Mar 17, 2025
2 checks passed
@mgabelle mgabelle deleted the chore/add-dev-commands-doc branch March 17, 2025 09:25
@github-project-automation github-project-automation bot moved this from To review to Done in Pull Requests Mar 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants