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

Remove markdown unused definitions #12656

Merged

Conversation

xtqqczze
Copy link
Contributor

@xtqqczze xtqqczze commented May 14, 2020

PR Summary

remark --quiet --use lint-no-unused-definitions .

PR Context

follow-up #12653

PR Checklist

`remark -u lint-no-unused-definitions .`
@ghost ghost assigned iSazonov May 14, 2020
@xtqqczze xtqqczze marked this pull request as ready for review May 14, 2020 06:33
@iSazonov iSazonov added the CL-Docs Indicates that a PR should be marked as a documentation change in the Change Log label May 14, 2020
@iSazonov iSazonov added this to the 7.1.0-preview.3 milestone May 14, 2020
@iSazonov iSazonov requested a review from TravisEz13 May 14, 2020 06:43
@iSazonov iSazonov merged commit 22e4f19 into PowerShell:master May 14, 2020
@xtqqczze xtqqczze deleted the markdown-remove-unused-definitions branch May 14, 2020 18:21
@ghost
Copy link

ghost commented Jun 25, 2020

🎉v7.1.0-preview.4 has been released which incorporates this pull request.:tada:

Handy links:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CL-Docs Indicates that a PR should be marked as a documentation change in the Change Log
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants