mirror of
https://github.com/scm-manager/scm-manager.git
synced 2025-11-05 04:55:50 +01:00
f6de626cd5
- The clone of the repository failed, if no master branch had been mirrored, because this was what the HEAD was set to, and jgit fails with an exception if the HEAD branch does not exist. - The HEAD branch had to be corrected to an existing branch, because otherwise a rejected 'master' branch could not be deleted and was synchronized in a second sync if the working directory had been cached.
3 lines
143 B
YAML
3 lines
143 B
YAML
- type: Fixed
|
|
description: Edge cases in mirror command with cached workdirs ([#1812](https://github.com/scm-manager/scm-manager/pull/1812))
|