Skip to content

Pull requests: stacks/stacks-project

New pull request New
5 Open 179 Closed
5 Open 179 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

Typo hunt 2
#186 opened Dec 17, 2025 by eliasgv3 Loading…
Add AB6 and AB6* conditions to injectives.tex
#185 opened Dec 7, 2025 by wgabrielong Loading…
Added "Pulling back sections" section in modules.tex
#184 opened Oct 8, 2025 by eliasgv3 Loading…
Added statement and proof that (quasi-)separatedness is local on the target
#183 opened Sep 24, 2025 by eliasgv3 Loading…
Small wording change in 01ZM about descending relative objects
#182 opened Sep 21, 2025 by tbrazel Loading…
ProTip! Filter pull requests by the default branch with base:master.