mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-02-11 14:53:43 -05:00
Fix fetching of remote branches
This commit is contained in:
parent
bb193973a8
commit
175b2c8703
1 changed files with 1 additions and 1 deletions
|
|
@ -46,7 +46,7 @@ git reset --hard
|
|||
git clean -qfdx
|
||||
# Any branch used to create snapshots must already exist
|
||||
git checkout "$HEAD"
|
||||
git fetch "$SFSNAP_ORIGIN" "$HEAD"
|
||||
git fetch "$SFSNAP_ORIGIN"
|
||||
git reset --hard "$SFSNAP_ORIGIN"/"$HEAD"
|
||||
# Tags are important for git-describe
|
||||
git fetch --tags "$SFSNAP_ORIGIN"
|
||||
|
|
|
|||
Loading…
Reference in a new issue