Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Minor typo corrections in Distribution Request Issue Templates#12744

Merged
TravisEz13 merged 1 commit intoPowerShell:masterfrom
corbob:patch-1
May 30, 2020
Merged

Minor typo corrections in Distribution Request Issue Templates#12744
TravisEz13 merged 1 commit intoPowerShell:masterfrom
corbob:patch-1

Conversation

@corbob
Copy link
Contributor

@corbob corbob commented May 21, 2020

Fix a few misspellings in the Issue Template.

PR Summary

PR Context

PR Checklist

Fix a few misspellings in the Issue Template.
@ghost ghost assigned anmenaga May 21, 2020
@TravisEz13 TravisEz13 added the CL-Docs Indicates that a PR should be marked as a documentation change in the Change Log label May 21, 2020
@TravisEz13 TravisEz13 added this to the 7.1.0-preview.4 milestone May 21, 2020
@TravisEz13 TravisEz13 assigned TravisEz13 and unassigned anmenaga May 21, 2020
@TravisEz13 TravisEz13 added the AutoMerge informs the bot to automerge the PR label May 21, 2020
@ghost
Copy link

ghost commented May 21, 2020

Hello @TravisEz13!

Because this pull request has the AutoMerge label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

Do note that I've been instructed to only help merge pull requests of this repository that have been opened for at least 24 hours, a condition that will be fulfilled in about 13 hours 10 minutes. No worries though, I will be back when the time is right! 😉

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

@iSazonov
Copy link
Collaborator

Reopen to restart CIs

@iSazonov iSazonov closed this May 23, 2020
@iSazonov iSazonov reopened this May 23, 2020
@ghost ghost added the Review - Needed The PR is being reviewed label May 30, 2020
@ghost
Copy link

ghost commented May 30, 2020

This pull request has been automatically marked as Review Needed because it has been there has not been any activity for 7 days.
Mainainer, Please provide feedback and/or mark it as Waiting on Author

@TravisEz13 TravisEz13 merged commit 0f16d0e into PowerShell:master May 30, 2020
@ghost ghost removed the Review - Needed The PR is being reviewed label May 30, 2020
@iSazonov
Copy link
Collaborator

@corbob Thanks for your contribution!

@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

AutoMerge informs the bot to automerge the PR 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