GitHub

How to efficiently use GitHub integration in MPS

• Set up a GitHub account: Add your GitHub account to MPS to start using GitHub integration
• Manage projects hosted on GitHub: Clone, share, and jump to GitHub from the editor

Pull requests

• Create and merge GitHub pull requests: Open a new pull request, receive feedback, and merge your pull request
• Review incoming GitHub pull requests: Provide your feedback to incoming pull requests by leaving comments and suggestions

Git basics

• Tutorial: Getting started with Git in MPS: Learn the most popular Git operations and show how they can be performed in MPS
• Main version control shortcuts: Learn how to quickly invoke main Git commands