I think we have custom GitHub repo output names?