chore: add devspace#3

Open

thomasgouveia wants to merge 1 commit intomainfrom

Member

thomasgouveia commented Jan 18, 2023

Closes #

📑 Description

✅ Checks

My pull request adheres to the code style of this project
My code is documented
I provided unitary tests or procedure to test my code
My PR have a clear description of what my code is supposed to do

ℹ Additional Information


          chore: add devspace

f83f7d9

jlabatut added type: feat priority: medium semver: patch action: review type: chore and removed type: feat labels

jlabatut approved these changes

View reviewed changes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

action: review priority: medium semver: patch type: chore