Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/ankushg/abcplayer

github mirror of abcplayer (6.005 project 1)
https://github.com/ankushg/abcplayer

Last synced: 18 days ago
JSON representation

github mirror of abcplayer (6.005 project 1)

Awesome Lists containing this project

README

        

# Instructions for the GitHub Repo
## Setting up GitHub Remote
Add a remote repository:

git remote add github [email protected]:ankushg/abcplayer.git

Push to GitHub manually via:

git push github

## Pushing to GitHub and 6.005 Repos Simultaneously
### Option 1: Add GitHub to as a Push URL to Origin (Recommended)
Run this command to automatically push to GitHub when you do a `git push` (replace `` in the first line with your actual kerberos):

git remote set-url --add --push origin [email protected]:ankushg/abcplayer.git
git remote set-url --add --push origin ssh://@athena.dialup.mit.edu/afs/athena.mit.edu/course/6/6.005/git/fa13/projects/abcplayer/anandoza-ankush-hkannan.git

### Option 1: Set up a separate remote that includes both GitHub and 6.005
Automatically push to GitHub and the official 6.005 repo at the same time by doing the following (replace `` in the first line with your actual kerberos):

git config --add remote.all.url ssh://@athena.dialup.mit.edu/afs/athena.mit.edu/course/6/6.005/git/fa13/projects/abcplayer/anandoza-ankush-hkannan.git
git config --add remote.all.url [email protected]:ankushg/abcplayer.git

You can now do `git push all` to push to both 6.005 and GitHub (but will require your password still for pushing to 6.005).