Skip to content

Pull requests: diffplug/gitcasso

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

FIx github issue titles
#111 by nedtwigg was merged Oct 10, 2025 Loading…
Don't show edited comments in the popup table
#110 by nedtwigg was merged Oct 9, 2025 Loading…
Add support for GitHub projects
#108 by nedtwigg was merged Oct 7, 2025 Loading…
Fix GH issue append
#107 by nedtwigg was merged Oct 7, 2025 Loading…
1
Add/fix important kinds of GitHub highlighting
#104 by nedtwigg was merged Oct 2, 2025 Loading…
Prepare release infra for 1.0
#103 by nedtwigg was merged Oct 2, 2025 Loading…
Fixup overtype modification sync errors
#102 by nedtwigg was merged Oct 2, 2025 Loading…
2
Fixup the footer
#100 by nedtwigg was merged Oct 1, 2025 Loading…
Made some tweaks to the upper table decoration
#97 by nedtwigg was merged Sep 30, 2025 Loading…
Prettier truce
#94 by nedtwigg was merged Sep 29, 2025 Loading…
Initial publish
#93 by nedtwigg was merged Sep 26, 2025 Loading…
improve the icon a bit
#92 by nedtwigg was merged Sep 26, 2025 Loading…
Appending comments
#91 by nedtwigg was merged Sep 26, 2025 Loading…
1
Fix padding when editing PR comments
#89 by nedtwigg was merged Sep 26, 2025 Loading…
1 task
handle having a single unique_id open in multiple tabs
#88 by nedtwigg was merged Sep 25, 2025 Loading…
1
Clicking in the table should open the correct tab
#87 by nedtwigg was merged Sep 25, 2025 Loading…
final color pass
#86 by nedtwigg was merged Sep 24, 2025 Loading…
1
Add hover tool tips with issue links
#85 by WebsByTodd was merged Sep 24, 2025 Loading…
1
Disable language-detection within codeblocks
#84 by nedtwigg was merged Sep 24, 2025 Loading…
1
Make sure popup receives up-to-date draft information
#71 by nedtwigg was merged Sep 19, 2025 Loading…
Fix some things which broke about the popup
#67 by nedtwigg was merged Sep 19, 2025 Loading…
Refactor the GitHub implementation to have consistent naming
#66 by nedtwigg was merged Sep 19, 2025 Loading…
Refactor test cases
#65 by nedtwigg was merged Sep 18, 2025 Loading…
Improve dev env, especially gappiness
#64 by nedtwigg was merged Sep 18, 2025 Loading…
1
Fixup conflicts between editing and adding on issues and PRs
#63 by nedtwigg was merged Sep 18, 2025 Loading…
1
ProTip! Adding no:label will show everything without a label.