You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: faq/github.md
+27Lines changed: 27 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,6 +1,33 @@
1
1
# Git and GitHub
2
2
3
3
4
+
<!--
5
+
````{toggle}
6
+
7
+
````
8
+
-->
9
+
## Git Steps for Pushing to Your Remote Repository
10
+
````{toggle}
11
+
Follow these steps to push to your remote repository:
12
+
- ```git checkout main```: to switch to main branch
13
+
- ```git pull```: to make sure your main branch is up to date before creating a new branch off main
14
+
- ```git checkout -b <new branch name>```: to create a new branch and to switch to it
15
+
- Make your branch names meaningful! This helps both you and us know what is happening on the branch
16
+
- For example:
17
+
- A meaningful name would be ```2022-09-17-prepare``` or ```2022-09-17-deeper-exploration```
18
+
- ```git status```: to see what files will be committed
19
+
- ```git add <file>```: do this for each file that needs to be added
20
+
- ```git commit -m "commit message"```: to commit your changes/additions with a meaningful message
21
+
- ```git push```: if the branch is already on Github
22
+
- If not, you may need to do ```git push --set-upstream origin <branch name>```
23
+
24
+
Now check your repository in your browser to make sure everything is there. Don't forget to create a pull request and add us as "Reviewers" when you are ready for the work to be reviewed.
0 commit comments