Skip to content

Re #6944 Warn if --force-dirty redundant#6949

Open
mpilgrem wants to merge 1 commit into
masterfrom
re6944
Open

Re #6944 Warn if --force-dirty redundant#6949
mpilgrem wants to merge 1 commit into
masterfrom
re6944

Conversation

@mpilgrem

Copy link
Copy Markdown
Member

See:

Please also shortly describe how you tested your change. Bonus points for added tests!

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