herr kaste

Either graphql or REST, for most use-cases we would still fetch all open pull requests to do the filter "offline", locally, and very often then as-you-type. How many open PRs...

I have been told that there is actually a search API, https://docs.github.com/en/rest/search/search?apiVersion=2022-11-28#search-issues-and-pull-requests, which we can use as a drop-in replacement afaik. The search endpoint supports the query format and feature...

Updated the README and switched to py38 in a new release.

👋 😉

There is no such command. There is an add-on https://github.com/kaste/SublimeLinter-addon-toggler but that one also only enables a command to toggle individual linters (PR's welcome!). (And honestly, maybe I should pull...

There is also the kill switch, refer: https://www.sublimelinter.com/en/master/settings.html#the-kill-switch Maybe that should have a command? PR welcome as always, but since you're gone I close this.

I think that LGTM. A bit strange is the naming of the `z_edit_settings` command. That is basically not "your" namespace, and for a general command it also lacks some docs....

Ah, that won't work because we cannot replace/patch these built-ins when they're read-only. What you do typically is to replace the datetime object with a "spy". Basically, as you can't...

Injecting was only one variant - basically the old school variant. You ignored the first one, instead of patching `now()` you basically patch `datetime()`, e.g. using `spy`. The code you...

Sorry for the late reply. Yeah, that would be great! If you tackle this, in commands/diff.py: ``` diff = SplittedDiff.from_view(self.view) if diff.is_combined_diff(): ``` E.g. diff.py:958 has probably most of the...