Difference between revisions of "GitHub"
Jump to navigation
Jump to search
(issue) |
(pull requests) |
||
| Line 24: | Line 24: | ||
git remote add origin <nowiki>https://</nowiki>github.com/{{arg|username}}/{{arg|project_name}}.git | git remote add origin <nowiki>https://</nowiki>github.com/{{arg|username}}/{{arg|project_name}}.git | ||
git push -u origin master | git push -u origin master | ||
| + | |||
| + | '''initiate a pull request''' -- see [https://help.github.com/articles/about-pull-requests/ About pull requests] | ||
==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] | ||
Revision as of 20:28, 19 May 2018
About
GitHub is a web site which provides free Git repository hosting for open-source projects and a number of other services.
Links
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 -- see About pull requests
Discussion
- 2017-07-15 Antisocial Coding: My Year at GitHub