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.

Sign up for GitHub

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

Jump to bottom

Made git work for all package managers #8735

Merged
merged 2 commits into from
Jan 30, 2019
Merged

Made git work for all package managers #8735

merged 2 commits into from
Jan 30, 2019

Conversation

RDIL
Copy link
Contributor

@RDIL RDIL commented Jan 24, 2019

PR Summary

Linux has lots of package managers.

PR Context

PR Checklist

@adityapatwardhan
Copy link
Member

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

@RDIL
Copy link
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
Reviewers

@daxian-dbw daxian-dbw daxian-dbw approved these changes

@adityapatwardhan adityapatwardhan adityapatwardhan approved these changes

Assignees

@adityapatwardhan adityapatwardhan

Labels
CL-Docs Indicates that a PR should be marked as a documentation change in the Change Log
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@RDIL @adityapatwardhan @daxian-dbw