And this is where my ignorance of Git comes into play, because I think what I ought to do is clone the git repository into the laptop, rather than copy it over. Maybe I'll try that.