Skip to content

Made git work for all package managers#8735

Merged
adityapatwardhan merged 2 commits intoPowerShell:masterfrom
RDIL:patch-5
Jan 30, 2019
Merged

Made git work for all package managers#8735
adityapatwardhan merged 2 commits intoPowerShell:masterfrom
RDIL:patch-5

Conversation

@RDIL
Copy link
Copy Markdown
Contributor

@RDIL RDIL commented Jan 24, 2019

PR Summary

Linux has lots of package managers.

PR Context

PR Checklist

@adityapatwardhan
Copy link
Copy Markdown
Member

@RDIL Restarted CI for windows due to a intermittent failure.

@RDIL
Copy link
Copy Markdown
Contributor Author

RDIL commented Jan 24, 2019

👍

@daxian-dbw daxian-dbw added the CL-Docs Indicates that a PR should be marked as a documentation change in the Change Log label Jan 24, 2019
@iSazonov iSazonov changed the title docs: Made git work for all package managers Made git work for all package managers Jan 25, 2019
@adityapatwardhan adityapatwardhan merged commit 528b099 into PowerShell:master Jan 30, 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.

3 participants