Skip to content

Comments

Do not let git use a pager#95549

Merged
joaomoreno merged 3 commits intomicrosoft:masterfrom
avdg:git-pager
Apr 20, 2020
Merged

Do not let git use a pager#95549
joaomoreno merged 3 commits intomicrosoft:masterfrom
avdg:git-pager

Conversation

@avdg
Copy link
Contributor

@avdg avdg commented Apr 17, 2020

This PR fixes #94988

@avdg
Copy link
Contributor Author

avdg commented Apr 17, 2020

As I just cloned the codebase, I was not yet able to create a build just yet (I do have already VS 2019 installed but I am not sure if I have to install 2017 as well)

@avdg avdg requested a review from joaomoreno April 20, 2020 12:17
@avdg avdg requested a review from joaomoreno April 20, 2020 13:21
@joaomoreno joaomoreno added this to the April 2020 milestone Apr 20, 2020
@joaomoreno
Copy link
Member

Thanks!

@joaomoreno joaomoreno merged commit 0da6ba9 into microsoft:master Apr 20, 2020
@avdg avdg deleted the git-pager branch April 20, 2020 13:56
@github-actions github-actions bot locked and limited conversation to collaborators Jun 4, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Git output with user defined pager

2 participants