User Profile Completion
Once a user has registered, after signing in he needs to complete his user profile for streamlining the system usage.
Manage SSH Public Keys
Users need to add their SSH public keys to their account in order to be able to access all his servers without password authentication. Go to the account settings and add your keys in the manner shown below. Users can add multiple SSH keys without duplication.
Manage Github Access Token
In order to enable users to clone their repositories from Github they need to generate an access token from their github account settings and add it here.