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.

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

cli: ensure default remote branch is imported by "git clone" #2710

Merged
merged 2 commits into from
Dec 16, 2023

Conversation

yuja
Copy link
Contributor

@yuja yuja commented Dec 16, 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 added 2 commits December 16, 2023 11:51
I originally thought this would be unavoidable, but I was wrong. "jj git clone"
doesn't implicitly create any local branch if git.auto-local-branch is off, and
that's fine because the detached HEAD state is normal in jj.

That being said, Git users would expect that the main/master branch exists.
Since importing the default branch is harmless, let's create and track it no
matter if git.auto-local-branch is off.
@yuja yuja force-pushed the push-trzpqxszxmuo branch from 7453d0b to 3e5b108 Compare December 16, 2023 03:12
@yuja yuja merged commit 5a466ca into jj-vcs:main Dec 16, 2023
15 checks passed
@yuja yuja deleted the push-trzpqxszxmuo branch December 16, 2023 07:02
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