factor.cmd: git pull from http doesn't update my local master to remote's master. using git:// instead.
factor.cmd: git pull from http doesn't update my local master to remote's
master. using git:// instead.

mrjbq7/factor,factor/factor,AlexIljin/factor,bpollack/factor,tgunr/factor,tgunr/factor,factor/factor,mrjbq7/factor,slavapestov/factor,bpollack/factor,nicolas-p/factor,bjourne/factor,nicolas-p/factor,slavapestov/factor,bjourne/factor,bpollack/factor,bjourne/factor,slavapestov/factor,bjourne/factor,bjourne/factor,bjourne/factor,mrjbq7/factor,slavapestov/factor,mrjbq7/factor,bpollack/factor,tgunr/factor,mrjbq7/factor,AlexIljin/factor,AlexIljin/factor,tgunr/factor,AlexIljin/factor,bpollack/factor,nicolas-p/factor,tgunr/factor,factor/factor,nicolas-p/factor,nicolas-p/factor,nicolas-p/factor,factor/factor,mrjbq7/factor,AlexIljin/factor,nicolas-p/factor,factor/factor,AlexIljin/factor,bjourne/factor,bpollack/factor,slavapestov/factor,factor/factor,tgunr/factor,slavapestov/factor,AlexIljin/factor,bpollack/factor,slavapestov/factor