-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Rename exec-agent directory to exec #3775
Conversation
Build # 1664 - FAILED Please check console output at https://ci.codenvycorp.com/job/che-pullrequests-build/1664/ to view the results. |
@@ -37,7 +37,7 @@ | |||
<exclude>src/static/term.js</exclude> | |||
<exclude>src/.idea/**</exclude> | |||
<exclude>src/exec-agent</exclude> | |||
<exclide>src/exec-agent.iml</exclide> | |||
<exclude>src/exec-agent.iml</exclude> |
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.
change it to src/*.iml
please
description should say it's related to #3437 , no ? |
Build success. https://ci.codenvycorp.com/job/che-pullrequests-build/1667/ |
89b001c
to
915bf3a
Compare
Build success. https://ci.codenvycorp.com/job/che-pullrequests-build/1687/ |
* Rename directory exec-agents to exec * Rename references to new directory
What does this PR do?
Rename exec-agent directory to exec, update all references with it
What issue does this PR fix or reference?
#3437
Changelog
Rename exec-agent directory to exec