ceylon/ceylon-lang.org — pull request #289 by gabriel-mirea (2014-04-09 17:55:41+00:00)
Title: Update contribute.md

add mention of git config proxy, in order to avoid errors such fatal: unable to access 'https://github.com/ceylon/ceylon-dist.git/': Failed connect to github.com:443