File tree 1 file changed +9
-8
lines changed
_docs/developer/getting_started
1 file changed +9
-8
lines changed Original file line number Diff line number Diff line change @@ -40,7 +40,15 @@ The instructions below are for command line use of git.
40
40
```
41
41
42
42
Additionally, find the name of the fork on the fork's page on Github.
43
- The `fork_name` may simply be `Submitty`, or the author may have chosen to another name.
43
+ The `fork_name` may simply be `Submitty`, or the author may have chosen another name.
44
+
45
+ Note: make sure your git credentials are set before pulling or pushing to a forked
46
+ repo. You can do this with the following commands. Use the `--global` flag if you
47
+ want to set this outside of just Submitty.
48
+ ```
49
+ git config user.name "Your Name"
50
+ git config user.email "Your Email"
51
+ ```
44
52
45
53
46
54
3. Next, make a local branch on your computer in your working repository
@@ -65,13 +73,6 @@ The instructions below are for command line use of git.
65
73
and review the PR and make code edits and new commits to your
66
74
local branch as needed.
67
75
68
- Note: make sure your git credentials are set before pulling or pushing to a forked
69
- branch. You can do this with the following commands. Use the --global flag if you
70
- want to set this outside of just Submitty.
71
- '''
72
- git config user.name "Your Name"
73
- git config user.email "Your Email"
74
- '''
75
76
76
77
77
78
5. In order to push the changes to the contributor's fork (and the PR
You can’t perform that action at this time.
0 commit comments