Skip to content

push requires manually removing previous branch if subrepo directory has a dot in it #338

Open
@tomek-he-him

Description

@tomek-he-him

Hey, first of all thanks for this brilliant project!

We keep our cross-repo workflow and CI scripts in a subrepo checked out in a hidden directory scripts/.platform-scripts. Any time we try to push, we need to remove a leftover branch before:

$ git subrepo push scripts/.platform-scripts
git-subrepo: There is a previous push branch 'subrepo-push/scripts/%2eplatform-scripts'. Delete it first.

(last exit code: 1) $ git branch -d subrepo-push/scripts/%2eplatform-scripts
error: The branch 'subrepo-push/scripts/%2eplatform-scripts' is not fully merged.
If you are sure you want to delete it, run 'git branch -D subrepo-push/scripts/%2eplatform-scripts'.

(last exit code: 1) $ git branch -D subrepo-push/scripts/%2eplatform-scripts
Deleted branch subrepo-push/scripts/%2eplatform-scripts (was 5837e6d0e).

$ git subrepo push scripts/.platform-scripts
Subrepo 'scripts/.platform-scripts' pushed to '[email protected]:kalohq/platform-scripts.git' (master).

This doesn’t happen in other projects I use git-subrepo in. I suppose it might have to do with the fact that scripts/.platform-scripts has a dot in the directory name?

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions