Files
git/.github
Johannes Schindelin 545dac9c1e 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-22 13:40:53 -04:00
..
2020-07-22 13:40:53 -04:00
2020-07-22 13:37:12 -04:00