some more github aliases