Run av init inside your repository. You need to do this only once per your local clone.
$ av init
Successfully initialized repository for use with av!
Create a topic branch
You can create a branch with av branch BRANCH_NAME from main, or you can also use av commit --branch-name BRANCH_NAME to both create a branch and commit your changes to the new branch.
$ git switch main
Already on 'main'
Your branch is up to date with 'origin/main'.
$ echo "Some changes" > testfile
$ av commit -A -m "Add a new file" --branch-name mytopic
[mytopic b420345] Add a new file
1 file changed, 1 insertion(+)
create mode 100644 testfile
The topic branch mytopic is intended to be merged to main later. If you want to use other branch as the merge destination, checkout that branch first.
Create a pull-request
Create a pull-request with av pr. It shows an editor for the pull-request description. Every time you update your local branch, you can run this to update the pull-request.
$ av pr
Creating pull request for branch mytopic:
- pushing to origin/mytopic
- created pull request https://github.com/yourname/yourrepo/pull/16
Stack a new topic branch
Create a new topic branch on top of the current topic branch with av branch.
$ av branch another_topic
You can see the stack with av tree.
$ av tree
* another_topic (HEAD)
│ No pull request
│
* mytopic
│ https://github.com/yourname/yourrepo/pull/16
│
* main
Add more changes to the branch.
$ echo "More changes" > newfile
$ av commit -A -m "Add another file"
[another_topic f60c4da] Add another file
1 file changed, 1 insertion(+)
create mode 100644 newfile
nothing to restack
Create a second pull-request
The second pull-request can be created with av pr now.
$ av pr
Creating pull request for branch another_topic:
- pushing to origin/another_topic
- created pull request https://github.com/yourname/yourrepo/pull/17
You can see the pull-request URLs with av tree.
$ av tree
* another_topic (HEAD)
│ https://github.com/yourname/yourrepo/pull/17
│
* mytopic
│ https://github.com/yourname/yourrepo/pull/16
│
* main
The first pull-request is targeting the main branch. And the second pull-request is targeting the first pull-request branch.
This will be updated once you merge the first pull-request.
Merge and sync the pull-requests
Let's merge the first pull-request now. We merge the first pull-request and keep the second pull-request open.
After this, we want to make the second one to be rebased on top of the newly updated main branch. To do this, we run av sync.
$ av sync
✓ GitHub fetch is done
✓ Restack is done
* ✓ another_topic e808923
│
* main ba8eefe
Confirming the push to GitHub
Following branches do not need a push.
mytopic: PR is already merged.
Following branches need to be pushed.
another_topic
Remote: cb51296 Add another file 2024-06-25 13:01:45 -0700 -0700 (1 minute ago)
Local: e808923 Add another file 2024-06-25 13:03:07 -0700 -0700 (10 seconds ago)
PR: https://github.com/yourname/yourrepo/pull/17
Are you OK with pushing these branches to remote?
▸ Yes. Push the branches to GitHub.
No. Do not push the branches to GitHub.
↑/k move up • ↓/j move down • space/enter select • ctrl+c cancel
It fetches the latest main from the remote, rebase the second branch on top of it. Choose to push to the remote.
$ av sync
✓ GitHub fetch is done
✓ Restack is done
* ✓ another_topic e808923
│
* main ba8eefe
✓ Pushed to GitHub
Following branches do not need a push.
mytopic: PR is already merged.
Following branches are pushed.
another_topic
Remote: cb51296 Add another file 2024-06-25 13:01:45 -0700 -0700 (2 minutes ago)
Local: e808923 Add another file 2024-06-25 13:03:07 -0700 -0700 (1 minute ago)
PR: https://github.com/yourname/yourrepo/pull/17
Confirming the deletion of merged branches
Following merged branches can be deleted.
mytopic: 6d19ed1f0019d0f59b65177ef7a4f358c278baec
Are you OK with deleting these merged branches?
▸ Yes. Delete these merged branches.
No. Do not delete the merged branches.
↑/k move up • ↓/j move down • space/enter select • ctrl+c cancel
Since the first branch is already merged, it asks you if you want to delete the local branch. Choose yes to delete the merged branch.
If you run av tree, you can see that the second branch now has main as the parent.
$ av tree
* another_topic
│ https://github.com/yourname/yourrepo/pull/17
│
* main (HEAD)
