They should know by this point where the `planets` repository is on GitHub - they'll have seen it in a previous lesson.