Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Enhancement: add annotation to twisted.web.http.Request.getHeader #10270

Closed
twisted-trac opened this issue Oct 21, 2021 · 1 comment
Closed

Enhancement: add annotation to twisted.web.http.Request.getHeader #10270

twisted-trac opened this issue Oct 21, 2021 · 1 comment
Labels
enhancement new priority-normal web
Milestone
publish types

Comments

@twisted-trac
Copy link

DMRobertson's avatar @DMRobertson reported
Trac ID trac#10270
Type enhancement
Created 2021-10-21 13:34:12Z

Like #10269 but for a different function.

We can propagate the type hints on getRequestHeader out to getHeader.

PR in progress at #1669

Searchable metadata 
trac-id__10270 10270
type__enhancement enhancement
reporter__DMRobertson DMRobertson
priority__normal normal
milestone__publish_types publish types
branch__ 
branch_author__ 
status__new new
resolution__None None
component__web web
keywords__None None
time__1634823252594189 1634823252594189
changetime__1642027218269030 1642027218269030
version__None None
owner__DMRobertson DMRobertson
@twisted-trac
Copy link
Author

wsanchez's avatar @wsanchez set owner to @DMRobertson

reviewed

@twm twm closed this as completed Aug 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement new priority-normal web
Projects
None yet
Milestone
publish types
Development

No branches or pull requests
2 participants
@twm @twisted-trac