Johannes Schindelin e3ba7d0e53 Mirror master and main ...

In preparation for eventually switching over to `main`, let's
synchronize the historical and the designated future main branch.

This follows the excellent advice from
https://github.com/chancancode/branch-rename/#gradual-migration

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

2020-10-06 02:04:10 +02:00

..

main.yml

ci: avoid ugly "failure" in the ci-config job

2020-09-02 12:21:45 -07:00

mirror-master-and-main.yml

Mirror master and main

2020-10-06 02:04:10 +02:00