git fetch --prune --recurse-submodules=no origin
git checkout --quiet --ignore-other-worktrees 9b15f195b5e773ebbdc7879bb496f6b660710242
git update-ref refs/heads/develop 9b15f195b5e773ebbdc7879bb496f6b660710242
git symbolic-ref HEAD refs/heads/develop
