equal
deleted
inserted
replaced
17 |
17 |
18 def addcommit(name, time): |
18 def addcommit(name, time): |
19 f = open(name, 'wb') |
19 f = open(name, 'wb') |
20 f.write(b'%s\n' % name) |
20 f.write(b'%s\n' % name) |
21 f.close() |
21 f.close() |
22 repo[None].add([name]) |
22 with repo.wlock(): |
23 commit(name, time) |
23 with repo.dirstate.changing_files(repo): |
|
24 repo[None].add([name]) |
|
25 commit(name, time) |
24 |
26 |
25 |
27 |
26 def update(rev): |
28 def update(rev): |
27 merge.clean_update(repo[rev]) |
29 merge.clean_update(repo[rev]) |
28 |
30 |