[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Re: changing git tags on the remote repo
To
: Andreas Metzler <
ametzler@bebt.de
>,
debian-devel@lists.debian.org
Subject
: Re: changing git tags on the remote repo
From
: Alf Gaida <
agaida@siduction.org
>
Date
: Sun, 12 Aug 2018 13:58:49 +0200
Message-id
: <
[🔎]
f3a47fce-0453-ca2f-539a-f7ae2532ba00@siduction.org
>
In-reply-to
: <
[🔎]
rlj54f-he1.ln1@argenau.bebt.de
>
References
: <
[🔎]
20180812131240.660c618716a87039f7c756f3@mailbox.org
> <
[🔎]
rlj54f-he1.ln1@argenau.bebt.de
>
git push --tags --force - if one have the needed rights and the remote settings allow it. Cheers Alf
Reply to:
debian-devel@lists.debian.org
Alf Gaida (on-list)
Alf Gaida (off-list)
Follow-Ups
:
Re: changing git tags on the remote repo
From:
Holger Wansing <hwansing@mailbox.org>
References
:
changing git tags on the remote repo
From:
Holger Wansing <hwansing@mailbox.org>
Re: changing git tags on the remote repo
From:
Andreas Metzler <ametzler@bebt.de>
Prev by Date:
Re: changing git tags on the remote repo
Next by Date:
Re: changing git tags on the remote repo
Previous by thread:
Re: changing git tags on the remote repo
Next by thread:
Re: changing git tags on the remote repo
Index(es):
Date
Thread