[gatein-dev] GitHub <-> PR

I removed the comment with link to "public" instance. For now the machine that builds is publicly available, you have the link in "Details" https://github.com/gatein/gatein-portal/pull/182 The 'public' instance is running out of space too quickly and was making it non stable. Also at this stage there is no need for it. The machine is currently running at my place and situation may change again in a future. Thomas.