diff options
| -rw-r--r-- | config | 20 |
1 files changed, 0 insertions, 20 deletions
@@ -1,20 +0,0 @@ -[core] - repositoryformatversion = 0 - filemode = true - bare = false - logallrefupdates = true -[remote "origin"] - url = https://git.torproject.org/tor-browser/user-manual.git - fetch = +refs/heads/*:refs/remotes/origin/* -[branch "master"] - remote = origin - merge = refs/heads/master -[remote "colin"] - url = ssh://git@TorGit/user/colin/user-manual.git - fetch = +refs/heads/*:refs/remotes/colin/* -[user] - name = Colin Childs - email = colin@torproject.org -[remote "primary"] - url = ssh://git@TorGit/tor-browser/user-manual.git - fetch = +refs/heads/*:refs/remotes/primary/* |