Something went wrong: failed to fetch

While transitioning from github remotes to review introductions.

As an aside: Does it matter that I use SSH keys. I have set them all up ages ago and so would rather just keep using them instead of typing my password every-time I push anything.

Hey Simon,

Please do, SSH keys are definitely more convenient and it is very likely that we will include instructions on this in the future, but deemed it a bit too complicated for the purpose of this practice course.