Dave Halter
Dave Halter
For a lot of things (especially usages) jedi's completely lazy approach is not good enough. It is probably better to use a database index cache. The index will basically be...
This is a more general issue that I want to discuss with you guys. I really like the idea of xonsh. Awesome job. I wanted to do something similar with...
### Expected behaviour `OpenIdConnectAuth` should reprocess the ID Token if `refresh_token` is called. ### Actual behaviour The ID Token is nly validated whenever `OpenIdConnect.request_access_token` is called. It is not validated...
Thanks a lot for `django-user-sessions`. It has been working great for us. I wanted to ask if it was possible to create a new release? It has been a while...
When working with a reverse proxy in front of Django, `request.META.get('REMOTE_ADDR', '')` might not be set correctly. This is something that could easily be avoided by using e.g. `django-ipware`: ```...
The test looks like this: ``` from typing import Mapping class MappingSubclass(Mapping[str, str]): pass def f(**kwargs: 'A') -> None: pass d = None # type: MappingSubclass f(**d) class A: pass...
This is probably simple to fix, see: ``` >>> import jedi >>> x = jedi.Script('f(a := 1, b)\n').get_syntax_errors() >>> x[0].get_message() 'SyntaxError: positional argument follows keyword argument' >>> jedi.Script('f(a := 1)\n').get_syntax_errors()...
# Bug report ## What's wrong A Jedi user realized that some things about Django stubs did not add up: https://github.com/davidhalter/jedi/issues/1667. I realized that the reason for this is that...
The conformance test `directives_type_ignore` feels a bit weird since it disallows the Mypy syntax: ``` z: int = "" # type: ignore[] # It has the following line where the...