-
Couldn't load subscription status.
- Fork 928
Purge whitespace from the repo #656
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
Conversation
|
This is all fine, but unless we have a recommended pre-commit hook that all developers use before committing, we'll just have to do this over and over. At a minimum I'd recommend using the |
|
Refer to this link for build results (access rights to CI server needed): Build Log |
|
@hppritcha I agree, but I also committed the script so we can run this purge periodically. Once we get the script correct, it should be relatively painless to clean up every so often, given that nobody can completely control the accidental insertion of whitespace. |
|
@miked-mellanox Any idea why this was marked as failed? The details button reports "no identified problem". Sadly, the link to the Jenkins results yields a "not found" error for me - don't know if that's a permissions issue or not. |
|
@rhc54 - checking |
|
-tune option got broken, @elenash - could you please provide more details? |
|
Refer to this link for build results (access rights to CI server needed): |
@jsquyres @hjelmn see what you think