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

chore(cmake): allow user to override GIT_COMMIT from cmake. #1576

Merged
merged 1 commit into from
Dec 14, 2023

Conversation

FedeDP
Copy link
Contributor

@FedeDP FedeDP commented Dec 14, 2023

What type of PR is this?

/kind cleanup

Any specific area of the project related to this PR?

/area build

Does this PR require a change in the driver versions?

What this PR does / why we need it:

Discovered during the development of falcosecurity/driverkit#302; basically we don't allow the user to override GIT_COMMIT; but since we support DRIVER_VERSION explicitly set by user, i think we should let user also override the commit.
See the driverkit PR workaround: https://github.com/falcosecurity/driverkit/pull/302/files#diff-16a66a3bc20a8ec693f64ed821148f71efa386a7e942444444eb591512bf129bR51

Which issue(s) this PR fixes:

Fixes #

Special notes for your reviewer:

Does this PR introduce a user-facing change?:

NONE

@FedeDP
Copy link
Contributor Author

FedeDP commented Dec 14, 2023

/cc @leogr @Andreagit97

@poiana poiana requested review from Andreagit97 and leogr December 14, 2023 09:15
@poiana poiana added the size/XS label Dec 14, 2023
Signed-off-by: Federico Di Pierro <nierro92@gmail.com>
@FedeDP FedeDP force-pushed the chore/allow_user_override_git_commit branch from 3921d1c to 0af2f3d Compare December 14, 2023 09:16
Copy link
Member

@Andreagit97 Andreagit97 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

/approve

Copy link
Member

@leogr leogr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

/milestone 0.14.0

@poiana poiana added this to the 0.14.0 milestone Dec 14, 2023
@poiana
Copy link
Contributor

poiana commented Dec 14, 2023

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: Andreagit97, FedeDP, leogr

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:
  • OWNERS [Andreagit97,FedeDP,leogr]

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@poiana poiana merged commit f8a3333 into master Dec 14, 2023
31 checks passed
@poiana poiana deleted the chore/allow_user_override_git_commit branch December 14, 2023 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants