Modified Github functionality - repositories are now dynamic. Admin can add repositories from the admin subsection.