diff options
| author | Patrick Uiterwijk <puiterwijk@redhat.com> | 2015-02-19 15:56:26 +0000 |
|---|---|---|
| committer | Patrick Uiterwijk <puiterwijk@redhat.com> | 2015-02-19 15:56:46 +0000 |
| commit | ea48d2a2a910c46bb409285f87504bacb0b3eb79 (patch) | |
| tree | 2c5e8fd9b502b680fcf79525a331ff784387ff42 /roles/distgit | |
| parent | 590fe1357d6ef18c304a3c4972a0c23f3c7f21eb (diff) | |
When a bare repo is created, HEAD is invalid, so cloning won't work.
Diffstat (limited to 'roles/distgit')
| -rw-r--r-- | roles/distgit/files/setup_git_package | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/roles/distgit/files/setup_git_package b/roles/distgit/files/setup_git_package index 4b30d5aeb..05729b3c8 100644 --- a/roles/distgit/files/setup_git_package +++ b/roles/distgit/files/setup_git_package @@ -100,11 +100,12 @@ git config --add hooks.maildomain fedoraproject.org popd >/dev/null # Now clone that repo and create the .gitignore and sources file -git clone -q /srv/git/rpms/$PACKAGE.git $TMPDIR/$PACKAGE +git init -q $TMPDIR/$PACKAGE pushd $TMPDIR/$PACKAGE >/dev/null touch .gitignore sources git add . git commit -q -m 'Initial setup of the repo' --author "$AUTHOR" +git remote add origin $GITROOT/$PACKAGE.git git push -q origin master popd >/dev/null |
