Skip to main content

281 Search results for "diff context"

GitHub Copilot / Build Copilot Extensions /

Copilot Extensions Glossary

terminology used in Copilot Extensions. The following terms are used in the context of Copilot Extensions, and are defined here for clarity. Agent A type of

GitHub Actions / Use cases and examples / Publish packages /

Publishing Docker images

docker/build-push-action@3b5e8027fcad23fda98b2e3ac259d8d67585f671 with: context: . file: ./Dockerfile push: true tags: ${{ steps.meta.outputs.tags }} labels:

GitHub Copilot / Copilot Chat Cookbook / Testing code /

Generate unit tests

test_price_zero(self): with self.assertRaises(ValueError) as context: validate_price(0) self.assertEqual(str(context.exception), "Price must be greater than 0")

GitHub Copilot / Build Copilot Extensions / Create a Copilot Extension /

Configuring your GitHub App for your Copilot extension

Access: dropdown menu, then click Read-only. To enable context passing, in the "Copilot Editor Context" row, select the Access: dropdown menu, then

GitHub Desktop / Work with your remote repo /

Creating an issue or pull request from GitHub Desktop

Preview Pull Request. GitHub Desktop will open a preview dialog showing the diff of the changes between your current branch and the base branch. Alternatively

GitHub Copilot / Use GitHub Copilot / Copilot Chat /

Asking GitHub Copilot questions in GitHub Mobile

without a particular context. For more information, see Asking a general question about software development. Questions asked in the context of your project

GitHub Copilot / Responsible use /

Responsible use of GitHub Copilot Chat in your IDE

from the user is pre-processed by the Copilot Chat system, combined with contextual information (for example, the name of the repository the user is currently

GitHub Copilot / Customize Copilot /

Adding repository custom instructions for GitHub Copilot

your project, if you provide it with enough context to do so. Instead of repeatedly adding this contextual detail to your chat questions, you can create

Repositories / Branches and merges / Manage rulesets /

Available rules for rulesets

approvals when commits are pushed that affect the diff in the pull request. GitHub records the state of the diff at the point when a pull request is approved

Account and profile / Profiles / Manage contribution settings /

Troubleshooting commits on your timeline

to see more details about your commits from that time period, including a diff of specific changes made in a repository. Missing commit details from commits