8000 Delete Docker manifest creation script by RDIL · Pull Request #9076 · PowerShell/PowerShell · GitHub
[go: up one dir, main page]
Skip to content

Delete Docker manifest creation script#9076

Merged
daxian-dbw merged 3 commits intoPowerShell:masterfrom
RDIL:patch-5
Mar 11, 2019
Merged

Delete Docker manifest creation script#9076
daxian-dbw merged 3 commits intoPowerShell:masterfrom
RDIL:patch-5

Conversation

@RDIL
Copy link
Contributor
@RDIL RDIL commented Mar 6, 2019

PR Summary

It isn't needed here, and was moved to here

PR Context

Moved

PR Checklist

@daxian-dbw daxian-dbw merged commit 6cdfc44 into PowerShell:master Mar 11, 2019
@RDIL RDIL deleted the patch-5 branch March 11, 2019 22:11
@iSazonov iSazonov added the CL-Tools Indicates that a PR should be marked as a tools change in the Change Log label Mar 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@TravisEz13 TravisEz13 TravisEz13 approved these changes

@iSazonov iSazonov iSazonov approved these changes

@adityapatwardhan adityapatwardhan Awaiting requested review from adityapatwardhan

@anmenaga anmenaga Awaiting requested review from anmenaga

@daxian-dbw daxian-dbw Awaiting requested review from daxian-dbw

@PaulHigin PaulHigin Awaiting requested review from PaulHigin

Assignees

@TravisEz13 TravisEz13

Labels

CL-Tools Indicates that a PR should be marked as a tools change in the Change Log

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@RDIL @TravisEz13 @iSazonov @daxian-dbw
0