This lecture discusses interacting with remote repositories on GitHub. It explains how to link a local repository to a remote one using git remote add and push changes to the remote branch with git push alias branch_name. It also defines GitHub as a web-based hosting service for Git projects that provides social networking features like feeds and followers, as well as wiki and issue tracking capabilities.
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0 ratings0% found this document useful (0 votes)
32 views3 pages
Lecture3 RemoteRepos PDF
This lecture discusses interacting with remote repositories on GitHub. It explains how to link a local repository to a remote one using git remote add and push changes to the remote branch with git push alias branch_name. It also defines GitHub as a web-based hosting service for Git projects that provides social networking features like feeds and followers, as well as wiki and issue tracking capabilities.
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3
In this lecture, we will discuss
Interacting with remote repositories
Github
Remote Repos Set Up and Push
$git remote add alias remote_url Link remote repo with your local repo
origin - default alias for a cloned repo
$git push alias branch_name Push changes to your branch (master) out
Github Web-based hosting service for software projects that use Git Why use Github? Community-oriented Social networking functionality Feeds, followers, watching projects