Fix even more repo shenanigans