We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5dc8b66 commit 437df67Copy full SHA for 437df67
_docs/developer/getting_started/commit_to_PR_from_fork.md
@@ -65,6 +65,13 @@ The instructions below are for command line use of git.
65
and review the PR and make code edits and new commits to your
66
local branch as needed.
67
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
77
5. In order to push the changes to the contributor's fork (and the PR
0 commit comments