We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e661cd7 commit 02dfcf5Copy full SHA for 02dfcf5
_docs/developer/getting_started/commit_to_PR_from_fork.md
@@ -18,6 +18,12 @@ the forked repository has granted the necessary permissions*. This
18
allows multiple developers to collaborate and finalize a PR for
19
merging to the main branch.
20
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
+
26
27
The instructions below are for command line use of git.
28
29
1. **Before** you begin, confirm that your local main branch of Submitty is
images/fork-checkout.png
26.8 KB
0 commit comments