Skip to content

Conversation

@sbrl
Copy link
Member

@sbrl sbrl commented Aug 18, 2019

Part 2! Original PR is #3246.

@sbrl sbrl added the new command Issues requesting creation of a new page or PRs adding a new page for a command. label Aug 18, 2019
Copy link
Member

@agnivade agnivade left a comment

Choose a reason for hiding this comment

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

LGTM after @waldyrious' suggestions are addressed.

Copy link
Collaborator

@Aracki Aracki left a comment

Choose a reason for hiding this comment

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

lgtm!

@mebeim mebeim merged commit 22dc13a into master Aug 23, 2019
@mebeim mebeim deleted the page/git-restore branch August 23, 2019 17:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new command Issues requesting creation of a new page or PRs adding a new page for a command.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants