Repository navigation

Add support for GitHub projects - #108

Merged

nedtwigg merged 15 commits into

mainfrom

feat/add-project-support

Oct 7, 2025

Merged

Add support for GitHub projects#108
nedtwigg merged 15 commits into
mainfrom
feat/add-project-support

Commits on Oct 7, 2025
- Fixup comment that got moved to a stale location.
  nedtwigg
  committed
  a417a68
- formatting bug
  nedtwigg
  committed
  36d77cc
- Fixup a stale example in corpus-loop
  nedtwigg
  committed
  9a206e6
- Make `search` part of `StrippedLocation`
  nedtwigg
  committed
  fd5c38d
- Make a change to GitHubEditEnhancer so that it detects edited comments on project pages. TODO: figure out appending comments to issues on project pages
  nedtwigg
  committed
  15c9171
- Appending comments to issues within a project are now handled correctly.
  nedtwigg
  committed
  7c9636e
- Make project logic more permissive.
  nedtwigg
  committed
  d66cfa8
- Make project draft logic less specific to the one snapshot.
  nedtwigg
  committed
  413f5ed
- Update changelog
  nedtwigg
  committed
  f20d5b5
- Add `gh_project_issue_new` to the corpus.
  nedtwigg
  committed
  0056c73
- Update `GitHubIssueCreateEnhancer` to handle the project case.
  nedtwigg
  committed
  f5415ce
- Refactor by claude.
  nedtwigg
  committed
  d8aa8b9
- tweaked by me
  nedtwigg
  committed
  254bbd9
- Undo refactoring for single-use-site functions.
  nedtwigg
  committed
  4bdb01d
- refactor some project stuff into github-common
  nedtwigg
  committed
  1ff5c54