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

Add migrator to remove dead hosts #1071

Merged
merged 9 commits into from
May 11, 2020
Merged

Add migrator to remove dead hosts #1071

merged 9 commits into from
May 11, 2020

Conversation

mattmundell
Copy link
Contributor

@mattmundell mattmundell commented May 5, 2020 •
edited
Loading

Checklist:

@janowagner
Copy link
Member

Would be nice to print to log the numbers of deleted rows.

@mattmundell
Copy link
Contributor Author

Would be nice to print to log the numbers of deleted rows.

Done in 2dc540c.

@mattmundell mattmundell marked this pull request as ready for review May 6, 2020 13:30
@mattmundell mattmundell requested a review from timopollmeier as a code owner May 6, 2020 13:30
@timopollmeier timopollmeier merged commit e04dd20 into greenbone:master May 11, 2020
@mattmundell mattmundell deleted the remove-dead-hosts branch July 22, 2020 14:59
@timopollmeier timopollmeier mentioned this pull request Jul 22, 2020
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@timopollmeier timopollmeier timopollmeier approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mattmundell @janowagner @timopollmeier