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

coccinelle: Use Docker image to patch issues #11370

Merged
merged 2 commits into from May 6, 2020

Conversation

pchaigno
Copy link
Member

@pchaigno pchaigno commented May 6, 2020

Developers likely won't have Coccinelle installed on their system so we should allow them to use the Coccinelle Docker image to fix any issue found by the GitHub action.

Second commit is a simplification of const.cocci script. No intended functional change.

Developers likely won't have Coccinelle installed on their host so we
should allow them to use the Coccinelle Docker image to fix any issue
found by the GitHub action.

Signed-off-by: Paul Chaignon <paul@cilium.io>
@pchaigno pchaigno added the release-note/misc This PR makes changes that have no direct user impact. label May 6, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot added this to In progress in 1.8.0 May 6, 2020
@pchaigno pchaigno marked this pull request as ready for review May 6, 2020 17:41
@pchaigno pchaigno requested a review from a team May 6, 2020 17:41
@pchaigno pchaigno requested a review from a team as a code owner May 6, 2020 17:41
@pchaigno pchaigno marked this pull request as draft May 6, 2020 17:55
We can make use of the assignment operator metavariable to simplify the
const.cocci script.

Signed-off-by: Paul Chaignon <paul@cilium.io>
@pchaigno pchaigno force-pushed the pr/pchaigno/cocci-fix-using-docker branch from 0c99ad8 to 5716bef Compare May 6, 2020 18:02
@coveralls
Copy link

coveralls commented May 6, 2020

Coverage Status

Coverage decreased (-0.03%) to 44.522% when pulling 5716bef on pr/pchaigno/cocci-fix-using-docker into e374eac on master.

@pchaigno pchaigno marked this pull request as ready for review May 6, 2020 18:04
@joestringer joestringer merged commit 0687a0e into master May 6, 2020
1.8.0 automation moved this from In progress to Merged May 6, 2020
@joestringer joestringer deleted the pr/pchaigno/cocci-fix-using-docker branch May 6, 2020 18:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-note/misc This PR makes changes that have no direct user impact.
Projects
No open projects
1.8.0
  
Merged
Development

Successfully merging this pull request may close these issues.

None yet

5 participants