Skip to content
jkeesh edited this page Dec 19, 2010 · 3 revisions

Source Control

Source Control

I have set up a git repository in /paperless on the cgi-bin directory such that you can just type "git push web" to update it with the latest revision. This was done using a post-receive hook as shown here http://toroid.org/ams/git-website-howto

So everyone should push to the github repository, and then when we have good changes, or we want to put them online also, push them to the web repository. To be able to get it to push to the cgi-bin directory from your local machine you may need to create a public key on the stanford servers for your own username.

References that helped me:

http://www.question-defense.com/2009/02/04/add-a-ssh-key-to-your-github-account-for-a-linux-server

http://stackoverflow.com/questions/3617113/github-newbie-problems-permission-denied-publickey-fatal-the-remote-end-h

http://stackoverflow.com/questions/922210/unable-to-git-push-master-to-github

This is what my local git config files looks like for reference:

    [core]
	   repositoryformatversion = 0
	   filemode = true
	   bare = false
	   logallrefupdates = true
	   ignorecase = true

   [remote "origin"]
	   fetch = +refs/heads/*:refs/remotes/origin/*
	   url = [email protected]:jkeesh/paperless.git

   [branch "master"]
	   remote = origin
     merge = refs/heads/master

   [remote "public"]
	   url = [email protected]:jkeesh/paperless.git
	   url = ssh://[email protected]/afs/ir/class/cs198/cgi-bin/paperless/paperless.git

   [remote "web"]
	   url = ssh://[email protected]/afs/ir/class/cs198/cgi-bin/paperless/paperless.git
	   fetch = +refs/heads/*:refs/remotes/web/* 

   [remote "github"]
	   url = [email protected]:jkeesh/paperless.git
	   fetch = +refs/heads/*:refs/remotes/github/*
Clone this wiki locally