[bind10-dev] change GIT URL for BIND 10

[Jeremy C. Reed]

Please update the URL used for BIND 10 for git. This will be needed as 
we migrate the website away from the git server.

If you are a developer with SSH access, use:

  git remote set-url origin \
	ssh://${USER}@git.bind10.isc.org/var/bind10/git/bind10

(Adjust ${USER} as needed or remove if use same username.)

Or if using anonymous git access:

  git remote set-url origin git://git.bind10.isc.org/bind10

Or if your git does not support that, then either edit the path in 
.git/remotes (I never saw or tried that) or edit the .git/config file to 
change "url =" line.

  Jeremy C. Reed
  ISC