From 168f6ad37a0cf11d119daaa5eea6c0473221fccb Mon Sep 17 00:00:00 2001 From: Markus Lehtonen Date: Thu, 23 Feb 2017 16:01:07 +0200 Subject: build-perf-git-import.py: implement --bare For creating bare Git repositories. Signed-off-by: Markus Lehtonen --- scripts/contrib/build-perf-git-import.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/scripts/contrib/build-perf-git-import.py b/scripts/contrib/build-perf-git-import.py index 5269030e99..0f647f02eb 100755 --- a/scripts/contrib/build-perf-git-import.py +++ b/scripts/contrib/build-perf-git-import.py @@ -1033,6 +1033,8 @@ def parse_args(argv=None): parser.add_argument('-l', '--log-file', type=os.path.abspath, default=datetime.now().strftime('build-perf-git-import-%Y%m%d_%H%M%S.log'), help='Log file to use') + parser.add_argument('--bare', action='store_true', + help="Create a bare repo when initializing a new results repository") parser.add_argument('-B', '--git-branch-name', default='%(host)s/%(branch)s/%(machine)s', help="Branch name to use") @@ -1079,7 +1081,7 @@ def main(argv=None): if not os.path.exists(args.git_dir): log.info('Creating Git repository %s', args.git_dir) os.mkdir(args.git_dir) - data_repo = GitRepo.init(args.git_dir) + data_repo = GitRepo.init(args.git_dir, args.bare) else: data_repo = GitRepo(args.git_dir, is_topdir=True) @@ -1105,9 +1107,10 @@ def main(argv=None): else: skipped.append((archive, result[1])) - log.debug('Resetting git worktree') - data_repo.run_cmd(['reset', '--hard', 'HEAD', '--']) - data_repo.run_cmd(['clean', '-fd']) + if not data_repo.bare: + log.debug('Resetting git worktree') + data_repo.run_cmd(['reset', '--hard', 'HEAD', '--']) + data_repo.run_cmd(['clean', '-fd']) # Log end report with plain formatting formatter = logging.Formatter('%(message)s') -- cgit 1.2.3-korg