David Barnett
David Barnett
What about some hint I could add to a rule config to request not splitting, or some heuristic to not split tiny rules? I understand it's a good safe default...
> What about some hint I could add to a rule config to request not splitting...? Sent #373 with a proposal for that. @mbrt could you take a look and...
Thanks, absolutely! Agreed about simplicity, and I wouldn't want to add a weird option on a whim if we'd end up regretting the mechanics or naming of it. That override...
Great, so to start somewhere concrete: whatever heuristics we ended up with, would you be fine if it that example I gave in the issue description didn't split? In changing...
Okay great, so as a start I'd propose to not split a filter that's
Right, for these heuristics I'm talking about, I'm talking in terms of the final Gmail filter syntax, and it might be a little subjective how some counting gets applied. I'm...
Thanks, that helps a good deal actually. Just removing the redundant `cc:` shaved hundreds of lines off my corp filter config per gmailctl's diff! 😲 It looks like the `gmailctl...
> BTW, is there anything we could do to improve the visibility of the debug command, or perhaps a way to integrate it better with the diff? Absolutely, I didn't...
Seeing similar, trying to use the GitHub easy setup and create a repo from scratch but it fails with "Exception: Exception: GitFetch failed with error code: remote repository is empty"....
I noticed it from the installed deb downloaded from the site and then reproduced similar in `dev` mode. I can definitely dig deeper into causes later, just noting some observations...