Internal

gitlab: We are managing our source codes effectively using git and gitlab.

portal: SoC Lab's new portal

portal_old: SoC Lab's old portal