René Pfeuffer 68b2976578 Filter master branch correctly on initial mirror (#1747) ...

On the first synchronization, the clone has the implicit branch "master". This cannot be
changed in JGit. When we fetch the refs from the repository that should be mirrored, the
master branch of the clone will be updated to the revision of the remote repository (if
it has a master branch). If now the master branch shall be filtered from mirroring (ie.
if it is rejected), we normally would delete the ref in this clone. But because it is
the current branch, it cannot be deleted. We detect this and later, 
after we have pushed the result, delete the master branch by pushing 
an empty ref to the central repository.

2021-07-28 12:04:57 +02:00

..

src

Filter master branch correctly on initial mirror (#1747)

2021-07-28 12:04:57 +02:00

build.gradle

Feature/mirror (#1683)

2021-06-04 14:05:47 +02:00

package.json

Prepare for next development iteration

2021-07-21 11:05:18 +00:00

tsconfig.json

added shared tsconfig package

2019-10-21 14:10:48 +02:00