diff options
author | Alex David <flu0r1ne@flu0r1ne.net> | 2021-08-29 18:17:11 -0500 |
---|---|---|
committer | Alex David <flu0r1ne@flu0r1ne.net> | 2021-08-29 18:17:11 -0500 |
commit | 72250299b6d777c6e9c6fc8ba97c613dc0e21f44 (patch) | |
tree | 8159cc8ecb22c662b1c93070083b02e8b0064439 /git-update-agent | |
parent | 8e88b244bb08a4040f80f4dfc6750e71cf0445d2 (diff) | |
parent | b5decf314d7219e338fc70af0991a52b1d9faef2 (diff) | |
download | deb-git-update-agent-72250299b6d777c6e9c6fc8ba97c613dc0e21f44.tar.xz deb-git-update-agent-72250299b6d777c6e9c6fc8ba97c613dc0e21f44.zip |
Merge branch 'upstream' into ppa
Update for 0.0.5
Diffstat (limited to 'git-update-agent')
-rw-r--r-- | git-update-agent | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/git-update-agent b/git-update-agent index b0c91f4..c52fdfe 100644 --- a/git-update-agent +++ b/git-update-agent @@ -320,6 +320,8 @@ init_repo() { if ! git fetch --force --tags "$remote" 2>/dev/null; then die "Could not download content from \"$remote_url\" on \"$DEFAULT_BRANCH\"." fi + + git remote set-head "$remote" --auto >/dev/null git checkout "$DEFAULT_BRANCH" @@ -327,7 +329,7 @@ init_repo() { } print_version() { - echo "0.0.4" + echo "0.0.5" } # |