# IDE: GitHub integration

First of all, please log in to your account, as described in [workspaces](/ide-stuff/workspaces.md).

You can import files from GitHub public repository or public gist just by clicking on "Import from GitHub" at the bottom side of the workspace list (left column).

You can save all your files in active workspace as a gist. You have to switch to "Workspaces online" and provide your credentials for GitHub. Then you can use the feature "Save workspace as gist".

## GitHub Credentials

You will need two information: your user name for GitHub and your personal access token, which you have to [generate here](https://github.com/settings/tokens). Please grant access to gists and repositories when creating token. Your credentials are stored in your online account, so you have to provide it only once.

*GitHub token can be revoked, so don't worry...*


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://manual.asm80.com/ide-stuff/github.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.