devbox_init.sh: Also git pull my repos.