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

docs: added ports purge to the Clean up Options. #7970

merged 1 commit into from Dec 29, 2017


None yet
4 participants

kkrumm1 commented Dec 28, 2017

Added ports purge to clean up options, to help end user find easily and use.

Please note

Please read this information carefully. You can run ./scripts/pre-commit.php to check your code before submitting.


If you would like to test this pull request then please run: ./scripts/github-apply <pr_id>, i.e ./scripts/github-apply 5926


This comment has been minimized.

scrutinizer-notifier commented Dec 28, 2017

The inspection completed: No new issues


This comment has been minimized.


murrant commented Dec 29, 2017

This is fine, but should we add an automated option (disabled by default)?


This comment has been minimized.


laf commented Dec 29, 2017

We should have this as part of clean up yes. I'll create a separate issue for this (and yes, disabled by default).

@laf laf merged commit 3857a78 into master Dec 29, 2017

3 checks passed

continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed
license/cla Contributor License Agreement is signed.

@laf laf deleted the kkrumm1-patch-1 branch Dec 29, 2017


This comment has been minimized.

lock bot commented May 16, 2018

This thread has been automatically locked since there has not been any recent activity after it was closed.

@lock lock bot locked as resolved and limited conversation to collaborators May 16, 2018

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