Files
git/.github
Johannes Schindelin 7921a796bb 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-27 13:36:16 -04:00
..
2020-07-27 13:36:16 -04:00
2020-07-27 13:36:07 -04:00