Files
git/.github
Johannes Schindelin a98b073ae2 fixup! Mirror master and main
The workflow needs to be adjusted so that the just-pushed branch is
cloned (otherwise it is always the default branch that is cloned, even
if in the case that branch is stale).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2020-06-18 22:21:02 +02:00
..
2020-06-18 22:21:02 +02:00
2020-06-01 20:16:57 +02:00