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
-`git push` them back to [github](https://github.com). These will go
59
-
to _your version_ of the repository.
60
-
61
-
- Note: if you get an error like:
62
-
63
-
error: src refspec master does not match any.
64
-
error: failed to push some refs to 'git@github.com:username/the_repo'
65
-
66
-
Then try `git push origin HEAD:gh-pages` (see [stackoverflow.](https://stackoverflow.com/questions/4181861/src-refspec-master-does-not-match-any-when-pushing-commits-in-git)). Typing `git show-ref` can show what reference to put after HEAD.
67
-
68
-
- Go to _your version_ of the repository on github.
69
-
70
-
- Click the “Pull Request” button at the top.
71
-
72
-
- Note that your friend's repository will be on the left and _your
73
-
repository_ will be on the right.
74
-
75
-
- Click the green button "Create pull request". Give a succinct and informative title, in the comment field give a short explanation of the changes and click the green button "Create pull request" again.
76
-
77
-
78
-
### Pulling others' changes
79
-
80
-
Before you make further changes to the repository, you should check
81
-
that your version is up to date relative to your friend's version.
82
-
83
-
Go into the directory for the project and type:
84
-
85
-
$ git pull myfriend master
86
-
87
-
This will pull down and merge all of the changes that your friend has
88
-
made.
89
-
90
-
Now push them back to your github repository.
91
-
92
-
$ git push
93
-
94
-
95
-
### Handling pull requests
96
-
97
-
Say your friend has suggested some changes to your code.
98
-
99
-
Ask them to [get a github account](first_use.html) and follow the
100
-
instructions above: fork your
101
-
repository, make the changes, and submit a pull request.
102
-
103
-
Once they do that, you'll get an email about it. How to handle it?
104
-
105
-
#### Using the github website:
106
-
107
-
- Go to your version of the repository.
108
-
109
-
- Click on “Pull Requests” at the top.
110
-
111
-
- Click on the particular request.
112
-
113
-
- You'll see their comments on the pull request, and can click to see
114
-
the exact changes.
115
-
116
-
- If you want them to make further changes before you merge
117
-
the changes into your repository, add a comment.
118
-
119
-
- If you hate the whole idea, just click the “Close”
120
-
button.
121
-
122
-
- If you want to merge the changes into your repository, click the
123
-
“Merge pull request” button.
124
-
125
-
- Your github repository will now be fixed, but you'll want to get
126
-
them into your local repository, too.
127
-
128
-
- Open a terminal/shell, and type
129
-
130
-
$ git pull
131
-
132
-
#### Using the command line
133
-
134
-
You don't have to use the github website for this.
135
-
136
-
- Open a terminal/shell.
137
-
138
-
- Go into the directory for your project.
23
+
- Click on “Settings” in the Menue directly below the Repo-Name.
139
24
140
-
- Add a connection to your friend's version of the github repository,
141
-
if you haven't already.
25
+
- Now scroll down the side to the “Danger Zone” and click “Delete this Repository”
0 commit comments