Files
git/.github
Johannes Schindelin dd906c74c6 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-19 21:12:25 +02:00
..
2020-10-19 21:12:25 +02:00