Return PATCH from commit selectors - #124

Merged

somethingelseentirely merged 1 commit into

mainfrom

codex/improve-user-friendly-selectors-for-git-set

Jul 22, 2025

somethingelseentirely commented Jul 22, 2025

Contributor

Summary

return CommitSet from CommitSelector::select
gather ranges and reachable commits into sets
update checkout to use sets
document change in commit selectors design note
log rename of CommitPatch to CommitSet in CHANGELOG

Testing

cargo test
./scripts/preflight.sh

https://chatgpt.com/codex/tasks/task_e_687fb1d377a48322b37f470d82d68950


          Rename CommitPatch to CommitSet

40991cd

somethingelseentirely added the codex label

— with

ChatGPT Codex Connector

somethingelseentirely merged commit 0b2bf7b into main

1 check passed

somethingelseentirely deleted the codex/improve-user-friendly-selectors-for-git-set branch

July 22, 2025 18:00

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels