Skip to content

Comments

Update maintainer docs: remove info about PR labels#8734

Merged
daxian-dbw merged 1 commit intoPowerShell:masterfrom
RDIL:patch-4
Jan 24, 2019
Merged

Update maintainer docs: remove info about PR labels#8734
daxian-dbw merged 1 commit intoPowerShell:masterfrom
RDIL:patch-4

Conversation

@RDIL
Copy link
Contributor

@RDIL RDIL commented Jan 24, 2019

PR Summary

I haven't ever seen the bot put on those labels!

PR Context

Seems like the bot doesn't do this anymore.

PR Checklist

Copy link
Member

@daxian-dbw daxian-dbw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@daxian-dbw daxian-dbw merged commit 6ee4521 into PowerShell:master Jan 24, 2019
@RDIL RDIL deleted the patch-4 branch January 24, 2019 19:50
@iSazonov iSazonov added the CL-Docs Indicates that a PR should be marked as a documentation change in the Change Log label Feb 1, 2019
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.

4 participants