Skip to content

scrub: HEAD detection for colocated jj repos#24

Open
nothingmuch wants to merge 1 commit into
mainfrom
scrubber-detect-detached-head
Open

scrub: HEAD detection for colocated jj repos#24
nothingmuch wants to merge 1 commit into
mainfrom
scrubber-detect-detached-head

Conversation

@nothingmuch
Copy link
Copy Markdown
Collaborator

The scrubber uses git commands (rev-parse, log, merge-tree) that assume HEAD is meaningful. In colocated jj repos, HEAD may not point where expected — jj manages the working copy independently.

The scrubber uses git commands (rev-parse, log, merge-tree) that
assume HEAD is meaningful. In colocated jj repos, HEAD may not
point where expected — jj manages the working copy independently.
Copy link
Copy Markdown
Collaborator

@arminsabouri arminsabouri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ack

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.

2 participants