Skip to content

Pull requests: envp/website

New pull request New
Clear current search query, filters, and sorts
0 Open 14 Closed
0 Open 14 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 menu
#14 by envp was closed Jun 27, 2022 Loading…
1
Create post about transitive import weirdness
#13 by envp was merged Jun 28, 2022 Loading…
2
Create 001-why-are-python-ints-28-bytes-wide
#12 by envp was merged Oct 15, 2022 Loading…
5
Fixup navbar spacing being eaten by minification
#11 by envp was merged Apr 4, 2022 Loading…
1
Unify repo
#10 by envp was merged Oct 18, 2021 Loading…
Revert "Discard submodule"
#9 by envp was merged Oct 18, 2021 Loading…
Discard submodule
#8 by envp was merged Oct 18, 2021 Loading…
Update about, drop old posts
#7 by envp was merged Oct 18, 2021 Loading…
Add resume URL
#6 by envp was merged Feb 4, 2021 Loading…
Retheme
#5 by envp was merged Feb 4, 2021 Loading…
Discard footer, fix scrollbars
#4 by envp was merged Apr 4, 2020 Loading…
Update theme to something less edgy
#3 by envp was merged Apr 4, 2020 Loading…
Add tags
#2 by envp was merged Apr 30, 2019 Loading…
Beyond Algorithmic Complexity
#1 by envp was closed Apr 4, 2020 Loading…
ProTip! Updated in the last three days: updated:>2025-08-10.