Skip to content

Pull requests: python-hyper/priority

New pull request New
Clear current search query, filters, and sorts
1 Open 134 Closed
1 Open 134 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update intersphinx_mapping for Sphinx 8 compatibility
#149 by musicinmybrain was merged Jun 13, 2025 • Review required
Correct a warning in MANIFEST.in
#148 by felixonmars was merged Aug 12, 2021 • Review required
2
[requires.io] dependency update on master branch
#146 by glyph was merged Jun 27, 2021 • Review required
typing, mypy, black
#145 by Kriechi was merged Jun 21, 2021 • Approved
1
unify repository layout
#144 by Kriechi was merged Jun 15, 2021 • Review required
[requires.io] dependency update on master branch
#142 by glyph was closed Jun 15, 2021 • Approved
[requires.io] dependency update on master branch
#141 by glyph was merged Apr 16, 2021 • Review required
modernize all the things
#140 by Kriechi was merged Apr 16, 2021 • Review required
add type annotations
#138 by graingert was closed Jun 21, 2021 • Review required
17
update url and add project_urls
#137 by graingert was merged Apr 16, 2021 • Review required
Allow test_period_of_repetition to be slow
#135 by alyssais was closed Apr 16, 2021 • Review required
1
[requires.io] dependency update on master branch
#134 by Kriechi was closed Apr 16, 2021 • Review required
[requires.io] dependency update on master branch
#133 by Lukasa was merged Sep 23, 2018 • Approved
[requires.io] dependency update on master branch
#132 by Lukasa was merged Jun 27, 2018 • Review required
[requires.io] dependency update on master branch
#131 by Lukasa was merged May 23, 2018 • Review required
[requires.io] dependency update on master branch
#130 by Lukasa was merged Apr 29, 2018 • Review required
[requires.io] dependency update on master branch
#129 by Lukasa was merged Apr 9, 2018 • Review required
[requires.io] dependency update on master branch
#128 by Lukasa was merged Mar 11, 2018 • Review required
[requires.io] dependency update on master branch
#127 by Lukasa was merged Mar 4, 2018 • Review required
[requires.io] dependency update on master branch
#126 by Lukasa was merged Feb 22, 2018 • Review required
[requires.io] dependency update on master branch
#125 by Lukasa was merged Feb 3, 2018 • Review required
[requires.io] dependency update on master branch
#124 by Lukasa was merged Jan 14, 2018 • Review required
[requires.io] dependency update on master branch
#123 by Lukasa was merged Jan 7, 2018 • Review required
[requires.io] dependency update on master branch
#122 by Lukasa was merged Dec 26, 2017 • Review required
[requires.io] dependency update on master branch
#121 by Lukasa was merged Dec 10, 2017 • Review required
ProTip! Adding no:label will show everything without a label.