0% 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.
Copyright
© © All Rights Reserved
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% 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.
Copyright
© © All Rights Reserved
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

Interesting social networking graphs


Wiki, Issue tracking

You might also like