Skip to content

Commit b247510

Browse files
committed
Fix Issue: Add section on removing a Repository
Add page "delete.md" Add Link to "delete.md" in "index.md" Set Next-Link in "branching.md" to "delete.md"
1 parent db10183 commit b247510

3 files changed

Lines changed: 15 additions & 131 deletions

File tree

index.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,7 @@ minimal guide to get started.
2525
- [Exploring the code and its history](pages/exploring_code.html):
2626
tag, diff
2727
- [Branching and merging](pages/branching.html).
28+
- [Delete a Repository](pages/delete.html).
2829
- [Git/github with RStudio](pages/rstudio.html)
2930
- [Other (much more thorough) resources](pages/resources.html).
3031

pages/branching.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,4 +72,4 @@ is really doing a
7272
followed by a
7373
[`git merge`](https://www.kernel.org/pub/software/scm/git/docs/git-merge.html).
7474

75-
**Next**: [Git/github with RStudio](rstudio.html)
75+
**Next**: [Delete a Repository](delete.html)

pages/delete.md

Lines changed: 13 additions & 130 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
---
22
layout: page
3-
title: Delete a repository
3+
title: Delete a Repository
44
description: How to delete a GitHub repository
55
---
66

@@ -9,147 +9,30 @@ description: How to delete a GitHub repository
99
Warning: By following these steps, you will lost this Repo for ever!
1010

1111

12-
So if you are sure, this is what you want, then it needs only 7 Steps:
12+
So if you are sure, this is what you want, then it needs only 8 Steps:
13+
14+
- Log in to your GitHub Account.
1315

1416
- Click on “your Avatar” at the upper right corner.
1517
Click on “your Profile” in the list.
1618

1719
- Click on “Repositories” in the Menue on the right of your Profile Image.
1820

21+
- Scroll the Repositories or use the Search-Bar and Click the Repo, you want to delete.
1922

20-
21-
22-
- You'll now have your own copy of that repository in your github account.
23-
24-
- Open a terminal/shell.
25-
26-
- Type
27-
28-
$ git clone git@github.com:username/the_repo
29-
30-
where `username` is _your_ username.
31-
32-
- You'll now have a local copy of _your version_ of that repository.
33-
34-
- Change into that project directory (`the_repo`):
35-
36-
$ cd the_repo
37-
38-
- Add a connection to the original owner's repository.
39-
40-
$ git remote add myfriend git://github.com/myfriend/the_repo
41-
42-
- Note the distinction between `git@github.com:` in the first case and
43-
`git://github.com/` in the second case. I'm not sure why these need
44-
to be the way they are, but that's what works for me.
45-
46-
- Also note the first myfriend does not need to be the same as the username of `myfriend`. You could very well choose:
47-
48-
$ git remote add repo_nickname git://github.com/myfriend/the_repo
49-
50-
- To check this `remote add` set up:
51-
52-
$ git remote -v
53-
54-
- Make changes to files.
55-
56-
- `git add` and `git commit` those changes
57-
58-
- `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.
13924

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”
14226

143-
$ git remote add myfriend git://github.com/myfriend/the_repo
27+
- Here you have to read the message in a Pop-Up Window. Then set in the Name of the Repository.
14428

145-
- Pull his/her changes.
29+
- Finaly click the button “I understand the consequences, delete this Repository”
14630

147-
$ git pull myfriend master
31+
Thats all here on GitHub.
32+
33+
On your local machine, you only have to delete the project folder incl. the .git folder.
14834

149-
- Push them back to your github repository.
15035

151-
$ git push
15236

153-
- The pull request on github will be automatically closed.
15437

155-
**Next**: [Handling merge conflicts](merge_conflicts.html)
38+
**Next**: [Git/github with RStudio](rstudio.html)

0 commit comments

Comments
 (0)