Skip to content

Instantly share code, notes, and snippets.



View GitHub Profile
View setting_up_a_new_remote_git_repository.textile

(a gist based on the old toolmantim article on setting up remote repos)

To collaborate in a distributed development process you’ll need to push code to remotely accessible repositories.

This is somewhat of a follow-up to the previous article setting up a new rails app with git.

For the impatient

Set up the new bare repo on the server:

View gist:715757
import Data.List
import Control.Monad
type Subst = [(String, Formula)]
(|->) :: String -> Formula -> Subst
v |-> f = [(v,f)]
data Formula = Var String
| FTrue | FFalse
| FAnd [Formula]
You can’t perform that action at this time.