Skip to content

Pull requests: diffplug/gitcasso

New pull request New
Clear current search query, filters, and sorts
1 Open 61 Closed
1 Open 61 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

Feature/more enhancers
#34 by WebsByTodd was merged Sep 15, 2025 Loading…
5
Use submodules to maintain a long-term fork of Overtype
#31 by nedtwigg was merged Sep 9, 2025 Loading…
1
@WebsByTodd
3
Fix long lines in code blocks
#44 by WebsByTodd was merged Sep 16, 2025 Loading…
3
Enhance editing comments in issues and PRs
#50 by WebsByTodd was merged Sep 18, 2025 Loading…
3
Appending comments
#91 by nedtwigg was merged Sep 26, 2025 Loading…
1
GH_ISSUE_ADD_COMMENT
#10 by nedtwigg was closed Sep 6, 2025 • Draft
1
GitHub issue add-comment
#14 by WebsByTodd was merged Sep 6, 2025 Loading…
1
1
shadcn/ui (and deps) for the popup
#35 by nedtwigg was closed Sep 11, 2025 • Draft
1
Handle textareas being initialized after initial page load
#47 by WebsByTodd was merged Sep 16, 2025 Loading…
1
Organize react components
#78 by WebsByTodd was merged Sep 24, 2025 Loading…
1
Add hover tool tips with issue links
#85 by WebsByTodd was merged Sep 24, 2025 Loading…
1
handle having a single unique_id open in multiple tabs
#88 by nedtwigg was merged Sep 25, 2025 Loading…
1
Getting overtype to work...
#1 by nedtwigg was merged Sep 4, 2025 Loading…
1
Better table upper decorations
#95 by WebsByTodd was merged Sep 29, 2025 Loading…
1
Fix layout issues with the empty states
#96 by WebsByTodd was merged Sep 29, 2025 Loading…
1
Fix padding when editing PR comments
#89 by nedtwigg was merged Sep 26, 2025 Loading…
1 task
improve the icon a bit
#92 by nedtwigg was merged Sep 26, 2025 Loading…
First cut at a data model
#6 by nedtwigg was merged Sep 4, 2025 Loading…
Adapt the overtype POC branch to the new playground layout
#7 by nedtwigg was merged Sep 4, 2025 Loading…
GH_PR_ADD_COMMENT works for reloads and turbolinks
#8 by nedtwigg was merged Sep 4, 2025 Loading…
refactor api to make per-page initialization a little easier
#12 by nedtwigg was merged Sep 5, 2025 Loading…
Organize GItHub Enhancer
#13 by WebsByTodd was merged Sep 6, 2025 Loading…
HAR testing
#15 by nedtwigg was merged Sep 6, 2025 Loading…
Add HAR files for gh_new_issue and gh_new_pr.
#17 by nedtwigg was merged Sep 6, 2025 Loading…
Refactor har:view for better maintainability
#19 by nedtwigg was merged Sep 6, 2025 Loading…
ProTip! no:milestone will show everything without a milestone.