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:
- disallow a push that contains subprojects / submodule (might be too SQTE specific).
- update the clone in the branchapi impl that we do clone recursively.