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

Improve dev process #6057

Merged
merged 6 commits into from Feb 11, 2020
Merged

Improve dev process #6057

merged 6 commits into from Feb 11, 2020

Conversation

@gsanchietti
Copy link
Member

gsanchietti commented Feb 11, 2020

Update the official manual after internal meeting,

@gsanchietti gsanchietti requested a review from DavidePrincipi Feb 11, 2020
Copy link
Member

DavidePrincipi left a comment

Thank you for the PR!

developer-manual/development_process.rst Outdated Show resolved Hide resolved
developer-manual/development_process.rst Outdated Show resolved Hide resolved
developer-manual/development_process.rst Outdated Show resolved Hide resolved
developer-manual/development_process.rst Outdated Show resolved Hide resolved
gsanchietti and others added 4 commits Feb 11, 2020
Co-Authored-By: Davide Principi <davide.principi@nethesis.it>
Co-Authored-By: Davide Principi <davide.principi@nethesis.it>
Co-Authored-By: Davide Principi <davide.principi@nethesis.it>
Co-Authored-By: Davide Principi <davide.principi@nethesis.it>
@gsanchietti gsanchietti merged commit 27f4cc0 into master Feb 11, 2020
@gsanchietti gsanchietti deleted the improve_dev_process branch Feb 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.