Difference between revisions of "GitHub"
(pull requests) |
(Markdown) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 9: | Line 9: | ||
==Links== | ==Links== | ||
* [https://github.com/ home page] | * [https://github.com/ home page] | ||
| + | ** [https://guides.github.com/features/mastering-markdown/ Mastering Markdown]: guide to the flavor of [[Markdown]] that GitHub uses | ||
* {{wikipedia}} | * {{wikipedia}} | ||
==Notes== | ==Notes== | ||
| Line 25: | Line 26: | ||
git push -u origin master | git push -u origin master | ||
| − | '''initiate a pull request''' | + | '''initiate a pull request''': When you look at GitHub's page for the repository you were editing, there should be a message saying "Your recently pushed branches:" above the file listing, and each push will have a green button on the right saying "Compare & pull request". Push that button to initiate a pull request. See [https://help.github.com/articles/about-pull-requests/ About pull requests] for further explanation. |
==Discussion== | ==Discussion== | ||
* '''2017-07-15''' [https://where.coraline.codes/blog/my-year-at-github/ Antisocial Coding: My Year at GitHub] | * '''2017-07-15''' [https://where.coraline.codes/blog/my-year-at-github/ Antisocial Coding: My Year at GitHub] | ||
Latest revision as of 19:13, 10 July 2018
About
GitHub is a web site which provides free Git repository hosting for open-source projects and a number of other services.
Links
- home page
- Mastering Markdown: guide to the flavor of Markdown that GitHub uses
- Wikipedia
Notes
When you create a new repository in GitHub, the site will provide you with the necessary commands to create a new repository on your local machine and update the GitHub repository from it. The commands are generally of the following form:
create a new local repository:
touch README.md git init git add README.md git commit -m "first commit" git remote add origin https://github.com/<username>/<project_name>.git git push -u origin master
update the GitHub repository (i.e. "push" your local repo to GitHub):
git remote add origin https://github.com/<username>/<project_name>.git git push -u origin master
initiate a pull request: When you look at GitHub's page for the repository you were editing, there should be a message saying "Your recently pushed branches:" above the file listing, and each push will have a green button on the right saying "Compare & pull request". Push that button to initiate a pull request. See About pull requests for further explanation.
Discussion
- 2017-07-15 Antisocial Coding: My Year at GitHub