Skip to content

Commit 877e44b

Browse files
authored
[Documentation:Developer] Github instructions for fork page (#608)
Updates the page on committing to an external PR by giving a simpler method (using Github Desktop / Github CLI) while still directing people to the rest of the page if they don't use Github tools.
1 parent e661cd7 commit 877e44b

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

_docs/developer/getting_started/commit_to_PR_from_fork.md

+6
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,12 @@ the forked repository has granted the necessary permissions*. This
1818
allows multiple developers to collaborate and finalize a PR for
1919
merging to the main branch.
2020

21+
If you use Github Desktop or have the Github CLI installed, the simplest
22+
way to work on a fork is to click the **Code** dropdown on the PR's page
23+
on Github and checkout the PR from there.
24+
25+
![alt text](/images/fork-checkout.png)
26+
2127
The instructions below are for command line use of git.
2228

2329
1. **Before** you begin, confirm that your local main branch of Submitty is

images/fork-checkout.png

26.8 KB
Loading

0 commit comments

Comments
 (0)