Replace Github with GitHub (#34971)

This commit is contained in:
Lipis
2019-02-12 09:46:34 +01:00
committed by Randell Dawson
parent cd31f06c4b
commit 86b8cee810
48 changed files with 75 additions and 75 deletions

View File

@ -3,7 +3,7 @@ title: Difference between Git and GitHub
---
## Difference between Git and GitHub
Git and Github are two different things. [Git](https://git-scm.com/) is the [version control system](https://en.wikipedia.org/wiki/Version_control), while [GitHub](https://github.com/) is a service for hosting Git repos and help people collaborate on writing software. However, they are often confounded because of their similar name, because of the fact that GitHub builds on top of Git, and because many websites and articles don't make the difference between them clear enough.
Git and GitHub are two different things. [Git](https://git-scm.com/) is the [version control system](https://en.wikipedia.org/wiki/Version_control), while [GitHub](https://github.com/) is a service for hosting Git repos and help people collaborate on writing software. However, they are often confounded because of their similar name, because of the fact that GitHub builds on top of Git, and because many websites and articles don't make the difference between them clear enough.
![Git is not GitHub](https://i.imgur.com/EkjwJdr.png)

View File

@ -41,7 +41,7 @@ in which:
- `REMOTE-NAME` is the name of the remote repository you want to push to
### Push to a specific branch with force parameter
If you want to ignore the local changes made to Git repository at Github(Which most of developers do for a hot fix to development server) then you can use --force command to push by ignoring those changs.
If you want to ignore the local changes made to Git repository at GitHub(Which most of developers do for a hot fix to development server) then you can use --force command to push by ignoring those changs.
```bash
git push --force <REMOTE-NAME> <BRANCH-NAME>