diff options
| author | Caleb Maclennan <caleb@alerque.com> | 2024-03-06 22:30:06 +0300 |
|---|---|---|
| committer | Levente Polyak <anthraxx@archlinux.org> | 2024-03-09 01:33:56 +0100 |
| commit | 7033554e45cf7dc7072dc6a1ca8a1575f02c2625 (patch) | |
| tree | 22e16b9ae7b9fdf9aec130cb2a0c3455d48545f8 | |
| parent | 40f476c649e2c1938c391575f4339c6f50b97e7c (diff) | |
| download | devtools-7033554e45cf7dc7072dc6a1ca8a1575f02c2625.tar.xz | |
fix(drop-from-repo): avoid Git trying to push tags to the AUR
If users have enabled push.followTags in their Git config then dropping
packages to the AUR spews errors because all the release tags from
official repos are rejected by AUR repos.
| -rw-r--r-- | src/lib/aur/drop-from-repo.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lib/aur/drop-from-repo.sh b/src/lib/aur/drop-from-repo.sh index 1c4f077..0e9cab4 100644 --- a/src/lib/aur/drop-from-repo.sh +++ b/src/lib/aur/drop-from-repo.sh @@ -141,9 +141,9 @@ pkgctl_aur_drop_from_repo() { if (( FORCE )); then AUR_OVERWRITE=1 \ GIT_SSH_COMMAND="ssh -o SendEnv=AUR_OVERWRITE" \ - git push --force origin master + git push --force --no-follow-tags origin master else - git push origin master + git push --no-follow-tags origin master fi # update the local default branch in case this clone is used in the future |