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

Fix log level of remote lang to local path message #238

Closed
wants to merge 1 commit into from

Conversation

akien-mga
Copy link
Contributor

Fixes #237.

@Diontsoumas
Copy link
Contributor

Apologies for the super-late reply, and thanks for the contribution, every small bit matters!

The PR fails to past the tests in CircleCI due to a security option in our configuration (saying that forked repos should not share secrets). I have rebased your branch and opened a new PR (found here), which will be available in our next release.

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.

2 participants