Skip to content

Sign in and manage workspaces

Click Sign in with GitHub. The portal sends you to the OAuth App, which asks only for your public profile. After GitHub sends you back, the portal:

  1. Creates or updates your user from your GitHub profile (login, name, avatar).
  2. Joins every workspace that invited your GitHub username, and deletes those invites.
  3. If you are new and nobody invited you, creates a workspace named after your login, with you as its owner.
  4. Signs you in with the factory_session cookie, which lasts 14 days.

The GitHub token from sign-in is used once to read your profile and is never stored. Repository access comes from the GitHub App, not from your sign-in.

Action Owner Admin Member
Use projects and threads ✓ ✓ ✓
Create projects, add and remove repositories ✓ ✓ ✓
Delete a project ✓ ✓
Delete any thread (members delete their own) ✓ ✓
Rename the workspace ✓ ✓
Invite people, revoke invites ✓ ✓
Change roles of admins and members, remove them ✓ ✓
Change or remove an owner, make someone an owner ✓
Connect or disconnect Daytona ✓ ✓
Leave the workspace ✓ ✓ ✓

A workspace always keeps at least one owner. To leave as the last owner, make someone else an owner first. If you leave or are removed from your last workspace, the portal gives you a new empty workspace of your own, so nobody is left without one.

Open Settings → Members. Invites give the Member or Admin role.

  • By GitHub username. The person joins the next time they sign in with that GitHub account. Logins are matched without regard to case, and a leading @ is ignored.
  • By link. Anyone signed in who opens the link joins, for 7 days or until you revoke it. The link is shown once, when you create it; the portal stores only a hash of its token. Someone who opens the link while signed out signs in first and then returns to the invite.

Pending invites lists invites that have not been used or expired. Revoke one with its delete button.

Click the workspace name at the top left of the top bar, next to the Software Factory logo, and choose another workspace. The portal remembers your choice in your session. If you leave the workspace you switched to, it falls back to the oldest workspace you belong to.

Owners and admins rename the workspace in Settings → General.