Skip to content
New issue

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

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

Already on GitHub? # to your account

Git subrepo push leaves worktree #568

Closed
admorgan opened this issue Nov 8, 2022 · 4 comments
Closed

Git subrepo push leaves worktree #568

admorgan opened this issue Nov 8, 2022 · 4 comments
Assignees
Labels

Comments

@admorgan
Copy link
Collaborator

admorgan commented Nov 8, 2022

$ git subrepo --version
0.4.5
$ git branch
    issue_6
  * main
$ git subrepo push whatever
Subrepo 'whatever' has no new commits to push.
$ git branch
    issue_6
  * main
  + subrepo/whatever

This causes future operations to require a clean before they can be run.

@admorgan admorgan added the Bug label Nov 8, 2022
@admorgan admorgan self-assigned this Nov 8, 2022
@admorgan
Copy link
Collaborator Author

admorgan commented Nov 8, 2022

Copied from comments left on #391 by @pauleckhardt

@admorgan
Copy link
Collaborator Author

admorgan commented Nov 8, 2022

An immediate workaround is to run git subrepo clean subrepo/whatever.

@doak
Copy link

doak commented Dec 12, 2023

I can't reproduce it. Does the bug still exists?
This even seems to be the corresponding test: 3994d70

@pauleckhardt
Copy link

This does not occur anymore in the current version.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants