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.
Thanks!