| Thu, 14 Jan 2016 12:03:06 +0000 |
Chris Cannam |
No, a bare repo is better
feature_1136
|
| Thu, 14 Jan 2016 10:54:56 +0000 |
Chris Cannam |
Fix missed text change
feature_1136
|
| Thu, 14 Jan 2016 10:27:25 +0000 |
Chris Cannam |
Separate out git repo dir and work dir (so as to serve repo dir only)
feature_1136
|
| Thu, 14 Jan 2016 09:56:38 +0000 |
Chris Cannam |
Add hgtags export
feature_1136
|
| Thu, 14 Jan 2016 08:12:29 +0000 |
Chris Cannam |
Add date stamps
feature_1136
|
| Wed, 13 Jan 2016 13:33:03 +0000 |
Chris Cannam |
hg-hash option does not appear reliable ("Not updating refs/notes/hg (new tip XXX does not contain YYY")
feature_1136
|
| Wed, 13 Jan 2016 12:49:37 +0000 |
Chris Cannam |
Run update-server-info after each export
feature_1136
|
| Tue, 12 Jan 2016 17:55:48 +0000 |
Chris Cannam |
Need -f in case no authormaps exist yet
feature_1136
|
| Tue, 12 Jan 2016 17:22:27 +0000 |
Chris Cannam |
Ensure we don't leave a git repo lying around for a repo with no corresponding (even if empty) authormap
feature_1136
|
| Tue, 12 Jan 2016 17:32:54 +0000 |
Chris Cannam |
Force flag is needed here
feature_1136
|
| Tue, 12 Jan 2016 16:11:23 +0000 |
Chris Cannam |
Better output options
feature_1136
|
| Tue, 12 Jan 2016 15:19:47 +0000 |
Chris Cannam |
Environment as arg
feature_1136
|
| Tue, 12 Jan 2016 15:15:02 +0000 |
Chris Cannam |
First cut of a git export script
feature_1136
|
