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'