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.

Sign up for GitHub

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

Jump to bottom

Remove dep from lint and add dep in docker-dev in makefile #1437

Merged
merged 1 commit into from
Oct 28, 2019
Merged

Remove dep from lint and add dep in docker-dev in makefile #1437

merged 1 commit into from
Oct 28, 2019

Conversation

NicolasMahe
Copy link
Member

Makefile: Remove dep from lint and add dep in docker-dev

@NicolasMahe NicolasMahe added this to the next milestone Oct 26, 2019
@NicolasMahe NicolasMahe self-assigned this Oct 26, 2019
@NicolasMahe NicolasMahe merged commit 6a9eb74 into dev Oct 28, 2019
@NicolasMahe NicolasMahe deleted the feature/fix-makefile-dep branch October 28, 2019 03:38
@NicolasMahe NicolasMahe added the release:change Pull requests that change something existant label Nov 26, 2019
@NicolasMahe NicolasMahe changed the title Makefile: Remove dep from lint and add dep in docker-dev Remove dep from lint and add dep in docker-dev in makefile Nov 26, 2019
@NicolasMahe NicolasMahe mentioned this pull request Nov 26, 2019
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@krhubert krhubert krhubert approved these changes

@antho1404 antho1404 Awaiting requested review from antho1404

Assignees

@NicolasMahe NicolasMahe

Labels
release:change Pull requests that change something existant
Projects
None yet
Milestone
v0.17.0
Development

Successfully merging this pull request may close these issues.
2 participants
@NicolasMahe @krhubert