Update git_extensions.sh