Difference between revisions of "GitHub"

from HTYP, the free directory anyone can edit if they can prove to me that they're not a spambot
Jump to navigation Jump to search
(Created page with "<hide> page type::article thing type::web site thing type::service platform::Git </hide> ==About== GitHub is a web site which provides free Git reposit...")
 
(Markdown)
 
(3 intermediate revisions 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 24: Line 25:
 
  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''': 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==
 +
* '''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

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