From a87f55960b1c75aa2372576b6bcae0d003ace8a9 Mon Sep 17 00:00:00 2001 From: Davidlohr Bueso Date: Tue, 6 Jun 2023 13:57:27 -0700 Subject: docs: typo fixes Fix various typos within the documentation directory. --- docs/contributing.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/contributing.md') diff --git a/docs/contributing.md b/docs/contributing.md index fa60d0b16..915eae7f8 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -81,7 +81,7 @@ in the same commit. ### How to create a pull request on Github -- First, you need an own git fork of syzkaller repository. Nagivate to +- First, you need an own git fork of syzkaller repository. Navigate to [github.com/google/syzkaller](https://github.com/google/syzkaller) and press `Fork` button in the top-right corner of the page. This will create `https://github.com/YOUR_GITHUB_USERNAME/syzkaller` repository. @@ -103,8 +103,8 @@ This adds git origin `my-origin` with your repository and checks out new branch - Commit changes locally. For this you need to run `git add` for all changed files, e.g. `git add sys/linux/sys.txt`. You can run `git status` to see what files were changed/created. When all files are added (`git status` shows no files in `Changes not staged for commit` section and no relevant files in `Untracked files` section), run `git commit` and enter commit description in your editor. - Run tests locally (`make install_prerequisites` followed by `make presubmit`). - Push the commit to your fork on github with `git push my-origin my-branch`. -- Nagivate to [github.com/google/syzkaller](https://github.com/google/syzkaller) and you should see green `Compare & pull request` button, press it. Then press `Create pull request`. Now your pull request should show up on [pull requests page](https://github.com/google/syzkaller/pulls). -- If you don't see `Create pull request` button for any reason, you can create pull request manually. For that nagivate to [pull requests page](https://github.com/google/syzkaller/pulls), press `New pull request`, then `compare across forks` and choose `google/syzkaller`/`master` as base and `YOUR_GITHUB_USERNAME/syzkaller`/`my-branch` as compare and press `Create pull request`. +- Navigate to [github.com/google/syzkaller](https://github.com/google/syzkaller) and you should see green `Compare & pull request` button, press it. Then press `Create pull request`. Now your pull request should show up on [pull requests page](https://github.com/google/syzkaller/pulls). +- If you don't see `Create pull request` button for any reason, you can create pull request manually. For that navigate to [pull requests page](https://github.com/google/syzkaller/pulls), press `New pull request`, then `compare across forks` and choose `google/syzkaller`/`master` as base and `YOUR_GITHUB_USERNAME/syzkaller`/`my-branch` as compare and press `Create pull request`. - If you decided to rebase commits in `my-branch` (e.g. to rebase them onto updated master) after you created a pull-request, you will need to do a force push: `git push -f my-origin my-branch`. ### Using syz-env -- cgit mrf-deployment