Table of Contents

GitHub Copilot Home

1. Application

1.1. Add tsinghua mail address to your github account

Email settings

The Primary email address can be random, whereas the one used to apply for copilot (education benefit actually) shall be example@mail.tsinghua.edu.cn

1.2. Apply for education benefit

GitHub Education

Submit some necessary information.

The most important part is to take a photo of your campus card with your computer, to prove that you are a student or a teacher.

After three or four days, you will get the email indicating successful application. DO NOT jump to the next step, until you receive the email.

1.3. Apply for github copilot

Copilot

Just click some buttons.

2. Installation

Install extension Github Copilot in vscode and login your github account. (The extension Github Copilot Chat will be installed automatically.)

3. Usage

3.1. Some hotkeys

3.1.1. To accept / reject suggestions

Tab to accept Esc to reject

3.1.2. Seeing alternative suggestions

Alt + ] to see next suggestion. Alt + [ to see previous suggestion.

3.1.3. Seeing multiple suggestions

Ctrl + Enter to open a new tab with multiple options.

3.2. Generating suggestions from comments

Write the comments, then it will suggest an implementation of the function.

3.3. Enabling or disabling

Click the status icon in the bottom panel.