Missed a few GitHub migration details.