From 157507e2400833e870e12587af558f2722a22cf2 Mon Sep 17 00:00:00 2001 From: rayzui <1430527996@qq.com> Date: Tue, 1 Jun 2021 16:42:17 +0800 Subject: [PATCH] docs: Fix repo url in CONTRIBUTING.md --- CONTRIBUTING.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f45fd31acc..ed4c02e3c3 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -35,6 +35,9 @@ mkdir -p $working_dir cd $working_dir git clone git@github.com:/oceanbase.git +# Go to your clone +cd oceanbase + # Add upstream git remote add upstream git@github.com:/oceanbase.git @@ -50,7 +53,7 @@ git remote -v 1. Get your local master up-to-date with the upstream/master. ```bash - cd $working_dir/docs + cd $working_dir/oceanbase git fetch upstream git checkout master git rebase upstream/master @@ -90,5 +93,5 @@ git push -u origin new-branch-name # "-u" is used to track the remote branch fro ### Step 8: Create a pull request -1. Visit your fork at (replace `$user` with your GitHub account). +1. Visit your fork at (replace `$user` with your GitHub account). 2. Click the `Compare & pull request` button next to your `new-branch-name` branch to create your PR.