pkgs/agit: Document agit PR fetching

This commit is contained in:
a-kenji
2025-06-24 19:13:04 +02:00
parent 20080f8857
commit 08cf7ac9c5

View File

@@ -42,3 +42,18 @@ Examples:
References:
- https://docs.gitea.com/usage/agit
- https://git-repo.info/en/2020/03/agit-flow-and-git-repo/
## How to fetch AGit PR's
For a hypothetical PR with the number #4077:
```
git fetch origin pull/4077/head:your-favorite-name
```
Replace `your-favorite-name` with your preferred branch name.
You can push back to the PR with with:
```
agit create --topic="The topic of the open PR"
```