> For the complete documentation index, see [llms.txt](https://manual.asm80.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://manual.asm80.com/ide-stuff/github.md).

# 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
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## 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, and the optional `goal` query parameter:

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

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.

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.