Skip to content

Git subprojects can't be merged #93

@LiamClark

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