diff options
author | Profpatsch <mail@profpatsch.de> | 2023-01-02T02·02+0100 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2023-01-02T02·14+0000 |
commit | 1b003db7250949e2589336220ce162bf0b7b6fe3 (patch) | |
tree | 7077bb71bc08227cd98c6e93f3450d0b2c4ab885 /users/wpcarro/ci | |
parent | 545f9384b568ef41efa28779e4cf0222d2b0ee94 (diff) |
feat(users/Profpatsch/mailbox-org): list & update filters r/5562
One step closer towards a declarative description of filters. In the end, the filters should be updated by their `rulename` field. This implements a simple scheme where we list all filters, parse some of their fields, use those fields to determine whether we want to change the filters, and then only update the filters where we changed something. Unfortunately, we can only update the filters one-by-one (a common mistake in APIs). Pulls in some modules for Json parsing that I like to use, and an `ErrorTree` abstraction over `Error` and `Data.Tree`. Change-Id: Iea45d5aa0a3fee7ec570f06d3e77009769091274 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7720 Autosubmit: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'users/wpcarro/ci')
0 files changed, 0 insertions, 0 deletions