A popular Web-based version control repository that offers all the features of the Git distributed version control system. Pronounced like the "g" in "gift" and introduced in 2008, GitHub is the largest hosting service for source code in the world. Along with bug tracking, feature requests and wikis for every project, Web browser and mobile interfaces of GitHub are available. In 2018, Microsoft acquired GitHub. See
Git,
version control and
SourceForge.
GitHub Pull Request
A pull request is a proposal to GitHub for changes to a Git repository. The pull request shows the difference between the existing code and the changes. If the changes are approved, they are merged into the exising code. Also called a "merge request" in other repositories such as GitLab.
GitHub Pages
To document or publicize a project, GitHub Pages is used to turn a repository into a website. The Jekyll static site generator can also be used to further enhance the site.
Gist for Snippets
Whereas GitHub is used to store and disseminate larger projects, Gist was developed to provide version control for code snippets (small blocks of source code).