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

Add options to filter piped list #340

Merged
merged 1 commit into from Jul 8, 2020
Merged

Add options to filter piped list #340

merged 1 commit into from Jul 8, 2020

Conversation

nakabonne
Copy link
Member

What this PR does / why we need it:
Part of #317

Which issue(s) this PR fixes:

Fixes #

Does this PR introduce a user-facing change?:

NONE

// Whether to include the status value in the response message.
bool with_status = 1;
Options options = 2;
Copy link
Contributor

Choose a reason for hiding this comment

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

Optionsでラップしなくても良い気がするんですけど、サーバサイド的にこっちが楽だったりしますか?

Copy link
Member Author

Choose a reason for hiding this comment

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

YAGNI(You aren't going need it)かもしれませんが、フィルタリングに使用するフィールドが増えることを想定して、他のフィルタリングと同じようにラップしてます。

Copy link
Contributor

Choose a reason for hiding this comment

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

了解です!

@pipecd-bot
Copy link
Collaborator

COVERAGE

Code coverage for golang is 24.61%. This pull request does not change code coverage.

@cakecatz
Copy link
Contributor

cakecatz commented Jul 8, 2020

/approve

1 similar comment
@cakecatz
Copy link
Contributor

cakecatz commented Jul 8, 2020

/approve

@pipecd-bot
Copy link
Collaborator

APPROVE

This pull request is APPROVED by cakecatz.

Approvers can cancel the approval by writing /approve cancel in a comment. Any additional commits also will change this pull request to be not-approved.

@pipecd-bot pipecd-bot merged commit a842b0e into master Jul 8, 2020
@pipecd-bot pipecd-bot deleted the options-piped branch July 8, 2020 07:21
@pipecd-bot pipecd-bot mentioned this pull request Jul 9, 2020
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.

None yet

3 participants