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.

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

Pull history from shell history files into recent commands #152936

Merged
merged 14 commits into from
Jun 23, 2022
Merged

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 23, 2022

Fixes #150302

image
image
Screen Shot 2022-06-22 at 7 52 05 pm

@Tyriar Tyriar added this to the June 2022 milestone Jun 23, 2022
@Tyriar Tyriar self-assigned this Jun 23, 2022
@Tyriar Tyriar marked this pull request as ready for review June 23, 2022 11:33
@Tyriar Tyriar requested a review from meganrogge June 23, 2022 11:33
meganrogge
meganrogge previously approved these changes Jun 23, 2022
Copy link
Contributor

@meganrogge meganrogge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍🏼

meganrogge
meganrogge previously approved these changes Jun 23, 2022
@meganrogge meganrogge enabled auto-merge (squash) June 23, 2022 22:28
@meganrogge meganrogge merged commit 4bb6ebf into main Jun 23, 2022
@meganrogge meganrogge deleted the tyriar/150302 branch June 23, 2022 22:39
@github-actions github-actions bot locked and limited conversation to collaborators Aug 7, 2022
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.

Include shell history in previous session recent commands
2 participants