Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Home

SamB edited this page · 3 revisions
Clone this wiki locally

Sample .git/config file:

[core]
        repositoryformatversion = 0
        filemode = true
        bare = false
        logallrefupdates = true
[svn-remote "svn"]
        url = svn://scm.gforge.inria.fr/svn/coq
        fetch = trunk:refs/remotes/svn/trunk
        branches = branches/*:refs/remotes/svn/branches/*
        tags = tags/*:refs/remotes/svn/tags/*
[remote "origin"]
        url = git://github.com:SamB/coq.git
        fetch = refs/remotes/svn/*:refs/remotes/svn/*
        fetch = refs/remotes/origin/*:refs/remotes/heads/*
Something went wrong with that request. Please try again.