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
Various commits, mostly fyi #296
Conversation
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
If it's OK with you I'd prefer to wait until you've improved them. |
☔ The latest upstream changes (presumably 1ada3da) made this pull request unmergeable. Please resolve the merge conflicts. |
@@ -0,0 +1,3 @@ | |||
ignore = [ | |||
"*", |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This pattern is no longer correct, as the format has changed to match that of .gitignore
.
The ignore list feature isn't stable yet anyway and is only available in nightly, so I suppose it could change again.
Extracted |
Sorry, I lack a bit of motivation and time to write better commit messages.
Feel free to delay the merge until I improve them, or feel free to reword.