Julian Berman

Is there a standard notion of "best" error?

7

So, following up on #396, one thing I'd also love to see discussed or addressed is what my implementation calls [`best_match`](http://python-jsonschema.readthedocs.io/en/latest/errors/#best-match-and-relevance). The purpose of this function is to heuristically answer...

Given an extra named `foo_bar` and specified / named as such (in a `project.optional-dependencies` section of a `pyproject.toml`), hatch, [in accordance with `PEP 685`](https://peps.python.org/pep-0685/), emits an extra named `foo-bar`: >...

porcelain.add no longer works when run within a directory ignored by a gitignore

4

porcelain.add appears to use `os.path.relpath` to try to [calculate relative paths relative to a repo root](https://github.com/jelmer/dulwich/blob/da8ea685490a0d8839cdd43b3000fe4c021e3417/dulwich/porcelain.py#L357-L358), but that's not what os.path.relpath does. E.g.: ``` ⊙ cd /tmp; python -c 'import...

Why is verify*'s argument-name-code commented out?

6

Hi! I noticed that zope.interface.verify* are not verifying argument names. It appears that https://github.com/zopefoundation/zope.interface/blob/master/src/zope/interface/verify.py#L108-L111 is commented out, but I can't find why in the history. Is there a reason why...

I see e.g. #6 and #7, but e.g.: ``` user_agents.parse("Mozilla/5.0 (Android; Tablet; rv:20.0) Gecko/20.0 Firefox/20.0") ``` is reported as mobile, but is a tablet, as per https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/User-Agent/Firefox This is with:...

automl-gs assumes the Python that's running is the global `python`

2

(I need to fill this in with a full reproducer) but as a placeholder: I just ran automl-gs for the first time, and it errored out with: ``` /Users/jberman/.local/share/virtualenvs/automl/lib/python3.7/importlib/_bootstrap.py:219: ImportWarning:...

When `treq.get`ting a host that times out from my network, it looks like treq will fail with `ConnectingCancelledError`s, indicating that the deferred was cancelled, instead of failing a bit more...

If you have an object which wishes to make HTTP requests but allow for injecting an alternate object (for testing or customization purposes, say injecting a `StubTreq`), `HTTPClient` is seemingly...

Definition jumping to a local dependency seems to jump to the wrong path

5

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...