I got stuck at the same place. The instructions say `git checkout devel-intersection_navigation-jan15′ but it does not say where?
In the shell that we get by ‘dts start_gui_tools robotname’ ? When we do this it will give the error: ‘fatal: not a git repository (or any of the parent directories): .git’
How do we change the branch of the duckietown inside this docker instance?