git-tool.sh: added options to pull only origin or github remotes