Add repo aliases to github workflow

Woo.