Files
git/.github/workflows
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-05-20 08:33:28 -07:00