diff options
author | John Olheiser <john.olheiser@gmail.com> | 2023-03-21 17:05:52 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-21 18:05:52 -0400 |
commit | 71be6572d6a7c76ca83383aa4e8d17b43f7e50fa (patch) | |
tree | c0cef9f7aa8eef64dba5c98cc3fe50fe2a3dbe62 /docs | |
parent | ca0ce9feb0462c6d76e43557d70542ef2c580c5f (diff) | |
download | gitea-71be6572d6a7c76ca83383aa4e8d17b43f7e50fa.tar.gz gitea-71be6572d6a7c76ca83383aa4e8d17b43f7e50fa.zip |
Update PR documentation (#23620)
This updates the PR docs and explains how to work with PRs, for those
who may not know.
It was mentioned that this page could explain PRs a bit better, in case
some users are not familiar with GitHub or similar forges.
Signed-off-by: jolheiser <john.olheiser@gmail.com>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/content/doc/usage/pull-request.en-us.md | 38 |
1 files changed, 37 insertions, 1 deletions
diff --git a/docs/content/doc/usage/pull-request.en-us.md b/docs/content/doc/usage/pull-request.en-us.md index 33743f8eac..4150f44279 100644 --- a/docs/content/doc/usage/pull-request.en-us.md +++ b/docs/content/doc/usage/pull-request.en-us.md @@ -15,9 +15,45 @@ menu: # Pull Request +A Pull Request (PR) is a way to propose changes to a repository. +It is a request to merge one branch into another, accompanied by a description of the changes that were made. +Pull Requests are commonly used as a way for contributors to propose changes and for maintainers to review and merge those changes. + +## Creating a pull request + +To create a PR, you'll need to follow these steps: + +1. **Fork the repository** - If you don't have permission to make changes to the repository directly, you'll need to fork the repository to your own account. +This creates a copy of the repository that you can make changes to. + +2. **Create a branch (optional)** - Create a new branch on your forked repository that contains the changes you want to propose. +Give the branch a descriptive name that indicates what the changes are for. + +3. **Make your changes** - Make the changes you want, commit, and push them to your forked repository. + +4. **Create the PR** - Go to the original repository and go to the "Pull Requests" tab. Click the "New Pull Request" button and select your new branch as the source branch. +Enter a descriptive title and description for your Pull Request and click "Create Pull Request". + +## Reviewing a pull request + +When a PR is created, it triggers a review process. The maintainers of the repository are notified of the PR and can review the changes that were made. +They can leave comments, request changes, or approve the changes. + +If the maintainers request changes, you'll need to make those changes in your branch and push the changes to your forked repository. +The PR will be updated automatically with the new changes. + +If the maintainers approve the changes, they can merge the PR into the repository. + +## Closing a pull request + +If you decide that you no longer want to merge a PR, you can close it. +To close a PR, go to the open PR and click the "Close Pull Request" button. This will close the PR without merging it. + ## "Work In Progress" pull requests -Marking a pull request as being a work in progress will prevent that pull request from being accidentally merged. To mark a pull request as being a work in progress, you must prefix its title by `WIP:` or `[WIP]` (case insensitive). Those values are configurable in your `app.ini` file : +Marking a pull request as being a work in progress will prevent that pull request from being accidentally merged. +To mark a pull request as being a work in progress, you must prefix its title by `WIP:` or `[WIP]` (case insensitive). +Those values are configurable in your `app.ini` file: ```ini [repository.pull-request] |