Skip to content

add agency filter script#108

Merged
wtfloris merged 1 commit intomasterfrom
chore/add-agency-filter
Feb 14, 2026
Merged

add agency filter script#108
wtfloris merged 1 commit intomasterfrom
chore/add-agency-filter

Conversation

@wtfloris
Copy link
Owner

@wtfloris wtfloris commented Feb 14, 2026

Summary

  • add misc/add_agency_filter.sh <dev|prod> <agency> helper script to update agency target filters in the database

Notes

  • left misc/sql/20260214_add_hoekstra_target.sql uncommitted

@wtfloris wtfloris merged commit 08a89b3 into master Feb 14, 2026
1 check passed
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.

1 participant