Merge branch 'dev' of github.com:dalehenrich/gsDevKitHome into gemtalk
Merge branch 'dev' of github.com:dalehenrich/gsDevKitHome into gemtalk
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
Merge pull request #18 from GsDevKit/master

update my master branch from GsDevKit
Merge branch 'master' into gemtalk
Merge branch 'gemtalk' of github.com:dalehenrich/gsDevKitHome into gemtalk