Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cli: in colocated repo, don't restore view.git_head on undo #2347

Merged
merged 1 commit into from
Oct 7, 2023
Merged

cli: in colocated repo, don't restore view.git_head on undo #2347

merged 1 commit into from
Oct 7, 2023

Conversation

yuja
Copy link
Contributor

@yuja yuja commented Oct 7, 2023

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (cli/src/config-schema.json)
  • I have added tests to cover my changes

@yuja
cli: in colocated repo, don't restore view.git_head on undo
687c8a3 
Otherwise, undone HEAD wouldn't be exported if we tried to preserve the
symbolic HEAD target (jj-vcs#2210). Unborn branch already has this problem.
@yuja yuja merged commit aea135c into jj-vcs:main Oct 7, 2023
15 checks passed
@yuja yuja deleted the push-qpnrrrrvztmt branch October 7, 2023 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@martinvonz martinvonz martinvonz approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@yuja @martinvonz