Christian RochaFish: add repo aliases
0cd2a10 ·