0
|
1 Mirrors a directory of darcs repos onto github.
|
|
2
|
|
3 Config description:
|
|
4 {
|
|
5 "user" : "<username on github>",
|
|
6 "SSH_AUTH_SOCK" : "path to ssh-agent socket file, like /tmp/ssh-abcde12345/agent.12345",
|
|
7 "gitHubToken" : "<from https://github.com/account/admin>",
|
|
8 "gitsyncDir" : "<dir to dump the local git mirrors>",
|
|
9 "darcsDir" : "<dir whose subdirs are the darcs repos you want to mirror>",
|
|
10 "darcsToGitCmd" : "/usr/bin/darcs-to-git"
|
|
11 }
|
|
12
|
|
13 See also:
|
|
14 http://www.silverwareconsulting.com/index.cfm/2009/10/30/Placing-Config-Files-Under-Version-Control-with-Git-and-GitHub
|
7
|
15
|
|
16 -----
|
|
17
|
|
18 hg bookmark -r default main
|
|
19 hg push git+ssh://git@github.com/drewp/${repo}.git --quiet
|