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

Cleaning pulled integration #6511

Merged
merged 1 commit into from
Jan 28, 2020
Merged

Cleaning pulled integration #6511

merged 1 commit into from
Jan 28, 2020

Conversation

l0k0ms
Copy link
Contributor

@l0k0ms l0k0ms commented Jan 28, 2020 •
edited
Loading

What does this PR do?

Make clean job remove integration that is pulled automatically.

Motivation

Fix local build.

Preview link

@l0k0ms l0k0ms added the Bug Correction to the doc label Jan 28, 2020
@l0k0ms l0k0ms requested a review from a team as a code owner January 28, 2020 07:28
@l0k0ms l0k0ms merged commit 5c1ce34 into master Jan 28, 2020
@l0k0ms l0k0ms deleted the gus/makefile-fix branch January 28, 2020 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ruthnaebeck ruthnaebeck ruthnaebeck approved these changes

Assignees
No one assigned
Labels
Bug Correction to the doc
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@l0k0ms @ruthnaebeck