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.

Sign up for GitHub

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

Jump to bottom

Avoid fetching checkstyle.jar on 0.10 and earlier #133

Merged
merged 1 commit into from
Mar 8, 2017
Merged

Avoid fetching checkstyle.jar on 0.10 and earlier #133

merged 1 commit into from
Mar 8, 2017

Conversation

jayvdb
Copy link
Member

@jayvdb jayvdb commented Mar 8, 2017

Fixes #50

@jayvdb
Copy link
Member Author

jayvdb commented Mar 8, 2017

Need to double check that the coala-bears checkout is r0.10 for this build.

If possible/ doesnt cause problems, after this is merged, the branch should be moved to this hash.

@fneu
Copy link
Contributor

fneu commented Mar 8, 2017

ack ed2a799

@fneu
Copy link
Contributor

fneu commented Mar 8, 2017

@rultor merge

@rultor
Copy link

rultor commented Mar 8, 2017

@rultor merge

@fneu OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit ed2a799 into coala:master Mar 8, 2017
@rultor
Copy link

rultor commented Mar 8, 2017

@rultor merge

@fneu Done! FYI, the full log is here (took me 1min)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
process/pending review size/XS
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@jayvdb @fneu @rultor @gitmate-bot