blob: 10ad4dccc8f2e760a211329d50a4c51d524ed107 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
#! /usr/bin/perl -w
# Push everything to the master repository
# 2010-01-29 Erik Schnetter <schnetter@cct.lsu.edu>
use strict;
$#ARGV == 2 or die;
my ($git_cmd, $git_repo, $git_master_repo) = @ARGV;
# Central Cactus repository
my $git_central_repo = $ENV{'CACTUS_CENTRAL_GIT_REPO'};
# Path where the git-*.pl commands are installed
my $bindir = $ENV{'SCRATCH_BUILD'} . '/Formaline/bin';
my $silent = $ENV{'SILENT'};
$silent = 'yes' if ! defined $silent;
$silent = $silent !~ /^no$/i;
my $silencer = $silent ? '> /dev/null 2>&1' : '';
# Ensure that the repositories exist
die unless -e "$git_repo/.git";
$ENV{'GIT_DIR'} = "$git_repo/.git";
die unless -e "$git_master_repo/.git";
print "Formaline: Pushing source tree to master git repository...\n";
print "Executing: $git_cmd config receive.denyCurrentBranch false\n" unless $silent;
system "$git_cmd --git-dir='$git_master_repo/.git' config receive.denyCurrentBranch false $silencer";
if ($?) {
die "Formaline: WARNING: Error while configuring master git repository\nCommand was\n $git_cmd --git-dir='$git_master_repo/.git' config receive.denyCurrentBranch false";
}
print "Executing: $git_cmd push -v -f --all '$git_master_repo'\n" unless $silent;
system "$git_cmd push -v -f --all '$git_master_repo' $silencer";
if ($?) {
die "Could not push branches\nCommand was\n $git_cmd push -v -f --all '$git_master_repo'";
}
print "Executing: $git_cmd push -v -f --tags '$git_master_repo'\n" unless $silent;
system "$git_cmd push -v -f --tags '$git_master_repo' $silencer";
if ($?) {
die "Could not push tags\nCommand was\n $git_cmd push -v -f --tags '$git_master_repo'";
}
print "Executing: '$bindir/git-gc-repo.pl' '$git_cmd' '$git_master_repo'\n"
unless $silent;
system "'$bindir/git-gc-repo.pl' '$git_cmd' '$git_master_repo' $silencer";
if ($?) {
die "Could not collect garbage\nCommand was\n '$bindir/git-gc-repo.pl' '$git_cmd' '$git_master_repo'";
}
if (defined $git_central_repo) {
$ENV{'GIT_DIR'} = "$git_master_repo/.git";
print "Formaline: Pushing to central repository $git_central_repo...\n";
print "Executing: $git_cmd push -v -f --all '$git_central_repo'\n"
unless $silent;
system "$git_cmd push -v -f --all '$git_central_repo' $silencer";
if ($?) {
die "Could not push branches\nCommand was\n $git_cmd push -v -f --all '$git_central_repo'";
}
print "$git_cmd push -v -f --tags '$git_central_repo'\n" unless $silent;
system "$git_cmd push -v -f --tags '$git_central_repo' $silencer";
if ($?) {
die "Could not push tags\nCommand was\n $git_cmd push -v -f --tags '$git_central_repo'";
}
}
|
