Fix #2247: allow `git checkout HEAD -- <path>` in pipeline sessions - #2252

Merged

jwbron merged 2 commits into

mainfrom

egg/fix-2247-checkout-head-file

Apr 29, 2026

Commits on Apr 29, 2026

Fix #2247: allow `git checkout HEAD -- <path>` in pipeline sessions
jwbron
committed
8dd50fb
Address review: expand checkout hint, relocate misplaced test
egg-reviewer[bot]
committed
54a3db1