Skip to content

get_repo_root: don't make assumptions about repository structure#41

Merged
pmolodo merged 5 commits intodiff_specify_repo_rootfrom
diff_find_repo_root
Mar 11, 2026
Merged

get_repo_root: don't make assumptions about repository structure#41
pmolodo merged 5 commits intodiff_specify_repo_rootfrom
diff_find_repo_root

Conversation

@pmolodo
Copy link
Copy Markdown
Contributor

@pmolodo pmolodo commented Mar 9, 2026

Separated out PR for just one commit of this "master" PR:

implemement diff generation as build CLI arg (all commits)
@pmolodo pmolodo closed this Mar 11, 2026
@pmolodo pmolodo merged commit 5da4ae8 into diff_specify_repo_root Mar 11, 2026
1 check passed
@pmolodo pmolodo deleted the diff_find_repo_root branch March 11, 2026 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant