Github

Push your Playground code to any GitHub repository.

How it works

This is a one-way push integration. You can push code from Anima to GitHub, but changes made in GitHub won't sync back to Anima.

What this means:

• ✓ Push your Playground code to a new or existing repo
• ✓ Create commits directly from Anima
• ✓ Keep your code backed up in version control
• ✗ Changes made in GitHub won't appear in Playground
• ✗ Pull requests and merges happen outside Anima

If you need to continue working on code that was modified in GitHub, clone the repo locally or re-import it into a new Playground project.

Connecting GitHub

1. Open the left panel and click the cogwheel icon next to the team name
2. Navigate to Integrations
3. Select your Token Type
4. Enter your Access Token
5. Click Connect

Generating a GitHub personal access token

1. Go to your GitHub account and click on your profile picture in the top-right corner
2. Navigate to Settings → Developer settings → Personal access tokens
3. Click Generate new token (or Generate new token (classic))
4. Provide a name for the token (e.g., "Anima Playground Token")
5. Select the necessary scopes (see below)
6. Click Generate Token
7. Copy the token immediately — you won't be able to view it again
8. Paste the token into Anima Playground's GitHub Connection settings and click Connect

Required scopes

Classic tokens need:

• repo
• read:org
• read:user

Fine-grained tokens require:

• Codespaces lifecycle admin (read-only)
• Contents (read and write)
• Metadata (read-only)

Security note: Treat your personal access token like a password. Never share it publicly.