Files
git/.github/workflows
Johannes Schindelin 06088f22b1 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-07-17 16:41:19 -04:00
..
2020-05-20 08:33:28 -07:00