Learn more about these different git repos.
Other Git URLs
0fd438c
Run fix_manifest.sh in bash pushd/popd is a bashism so make sure that fix_manifest.sh executes in bash