Hello,
I am an undergraduate student who would be interested in pursuing the infrastructure idea to set up Gitlab as a front end for
fedorahosted.org.
I would like to discuss the steps involved to set up such a system and am planning to contribute to the fedora community even long after the gsoc 2013 period.