Yuya Nishihara 8b5ff20874 cli: discard "unborn" default branch before checking out fetched head ... AFAIK, we can't make HEAD detached in an empty Git repository, so we need to temporarily switch to the new default branch before checking out. Fixes #2047		2023-08-13 06:44:50 +09:00
..
examples	cargo: move examples/ into cli/ so they are part of the build again	2023-08-07 21:49:45 +00:00
src	cli: discard "unborn" default branch before checking out fetched head	2023-08-13 06:44:50 +09:00
testing	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
tests	cli: discard "unborn" default branch before checking out fetched head	2023-08-13 06:44:50 +09:00
build.rs	build: update rerun-if conditions to watch .git/HEAD in colocated repo	2023-08-06 12:16:11 +09:00
Cargo.toml	cargo: unify a lot of crate metadata in the workspace	2023-08-06 16:44:33 -05:00