4.2 Cookbook

Some common commands when adding and changing things in the benchmark

4.2.1 Rename submodule

To move to different directory

FROM=…
TO=…
git mv $FROM $TO

To change remote

1. Edit remote in .gitmodules
2. git submodule sync
3. git add .gitmodules and git commit