tidepool-org/tools — pull request #21 by anderspitman (2014-09-25 01:24:03+00:00)
Title: Use https:// instead of git://

The get_current_tidepool_repos.sh would fail for anyone who
doesn't have the proper SSH keys configured. Switched it to use
https so anyone can use the script.