Skip to content

Git subprojects can't be merged #93

Description

@LiamClark

If a group pushes the framework into their repository on GitHub, merging pull requests fails.
Because the mirror has dirty state.
Git thinks we deleted the subproject. because the JGIT clone does not recursively clone this subproject.

Proposed solutions:

  1. disallow a push that contains subprojects / submodule (might be too SQTE specific).
  2. update the clone in the branchapi impl that we do clone recursively.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions