Skip to content

improve error message for dirty git tree#12

Merged
joelanford merged 1 commit intomainfrom
dirty-git-tree-err
Feb 25, 2022
Merged

improve error message for dirty git tree#12
joelanford merged 1 commit intomainfrom
dirty-git-tree-err

Conversation

@joelanford
Copy link
Owner

Signed-off-by: Joe Lanford joe.lanford@gmail.com

Signed-off-by: Joe Lanford <joe.lanford@gmail.com>
@joelanford joelanford merged commit 31b0a32 into main Feb 25, 2022
@joelanford joelanford deleted the dirty-git-tree-err branch February 25, 2022 03:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant