using the github:// url only works if your key is added to the repo (see https://help.github.com/articles/which-remote-url-should-i-use)
using the github:// url only works if your key is added to the repo (see https://help.github.com/articles/which-remote-url-should-i-use)
additional (useful) options added
Merge pull request #12 from jbrichau/master

Minor correction to github clone url in README
Merge branch 'master' of github.com:GsDevKit/gsDevKitHome
must lock Grease to github ... needed for Seaside and GemStone 3.2
ping travis
ping travis (again)
add upgrade to GLASS1.0-beta.9.3 document [ci skip]
add title [ci skip]
Merge branch 'dev'
tweak the upgrade descriptions [ci skip]
checkpoint ..[ci skip]
tweak [ci skip]
Create upgradeToGLASS1.md
remove popd arg ... invalid arg error in ubuntu 14.04 causing scripts to silently fail
use https for cloning
use https for cloning
cleaned up old tode scripts
Merge branch 'master' into TerraAustralisAdditions