-
Mathieu Bridon authored
Turns out we forgot to do this when we migrated. It is especially bad since our contributor documentation points to Github, until we merge this commit.
7d04f697
Turns out we forgot to do this when we migrated. It is especially bad since our contributor documentation points to Github, until we merge this commit.