[IMP-dev] link on working with remote vs. local git repository