This is our online workspace, but it's also public facing.
The idea is that internally developed tool that can be open sourced will be open sourced.
Everything important is on the left pane menu:
Git repositories are hosted in the "Diffusion" menu. Project management pages are in the "Projects" menu.
If you hare a developer here, your assigned tasks are on a widget on the right side of this page. It will error out for public visitors. Sorry! 😅
Go checkout the Wiki, it will be filled with info about the different projects, coding standards applied here, libraries and tools needed and everything else.