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

task: remove unused noop prop #1304

Merged
merged 2 commits into from
Dec 5, 2024
Merged

task: remove unused noop prop #1304

merged 2 commits into from
Dec 5, 2024

Conversation

alxndrsn
Copy link
Contributor

@alxndrsn alxndrsn commented Nov 26, 2024

Motivation

An unused property was noticed while working on #1303.

PR template

What has been done to verify that this works as intended?

Ran tests

Why is this the best possible solution? Were any other approaches considered?

Simplifies code.

How does this change affect users? Describe intentional changes to behavior and behavior that could have accidentally been affected by code changes. In other words, what are the regression risks?

No effect.

Does this change require updates to the API documentation? If so, please update docs/api.yaml as part of this PR.

No.

Before submitting this PR, please make sure you have:

  • run make test and confirmed all checks still pass OR confirm CircleCI build passes
  • verified that any code from external sources are properly credited in comments or that everything is internally sourced

@alxndrsn alxndrsn merged commit d7c12e2 into getodk:master Dec 5, 2024
1 check passed
@alxndrsn alxndrsn deleted the task-noop branch December 5, 2024 09:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants