8000 #939 Bring back PGM objective filters by chidddy · Pull Request #945 · PGMDev/PGM · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

#939 Bring back PGM objective filters #945

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

Merged
merged 3 commits into from
Jan 13, 2022

Conversation

chidddy
Copy link
Contributor
@chidddy chidddy commented Dec 11, 2021

Completes #939
tested with a locally modified ballot box(for completed tag) and cherokee (for captured tag)

while i did only test with control points, considering it's just calling the same GoalFilter constructor with set values it should function the same, i was unsure whether to throw an exception for attributes that completed and captured don't support but decided it realistically wasn't necessary.

@chidddy chidddy requested a review from Electroid as a code owner December 11, 2021 00:39
Signed-off-by: chiddy <chiddy@chiddy.xyz>
@chidddy chidddy force-pushed the 939-bring-back-pgm-objective-filters branch from b008bde to 2d4f331 Compare December 11, 2021 11:28
here's hoping the "commit suggestion" button doesn't screw me over

Co-authored-by: KingOfSquares <19822231+KingOfSquares@users.noreply.github.com>
Signed-off-by: chiddy <chiddy@chiddy.xyz>
@chidddy chidddy force-pushed the 939-bring-back-pgm-objective-filters branch from b52697f to 65e3839 Compare December 13, 2021 04:39
@chidddy
Copy link
Contributor Author
chidddy commented Dec 13, 2021

a sad reminder that "commit suggestion" does not sign off the commit...

@Pablete1234
Copy link
Member

a sad reminder that "commit suggestion" does not enforce formatting, and that line is too long to pass so you'll need to run the formatter

Signed-off-by: chiddy <chiddy@chiddy.xyz>
@KingOfSquares
Copy link
Contributor

Sad GitHub moment 😔

@Pablete1234 Pablete1234 added the ready PR is ready to merge label Jan 11, 2022
@Electroid Electroid merged commit fa38f43 into PGMDev:dev Jan 13, 2022
@Pablete1234 Pablete1234 mentioned this pull request Jul 1, 2022
20 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready PR is ready to merge
Development

Successfully merging this pull request may close these issues.

4 participants
0