[xiphos-devel] 4.2.0 tagged and pushed

[Caleb Maclennan]

If you are deleting the tag, DO IT NOW. 5 hours ago. This is not
something that is easy to recover from and anybody that has pulled the
repo will manually need to delete their own tags, git does not do it
automatically. Integrity thing.

Personally I would say ignore it, maybe manually throw up any
artifacts you want on the release built locally, and tag 4.2.1 when
you thing the build system works.

On Sat, May 2, 2020 at 9:21 PM Greg Hellings <greg.hellings at gmail.com> wrote:
>
> I'm good with it. Typically things pushed publicly you're discouraged from modifying, but I see no issues in this case.
>
> --Greg
>
> On Sat, May 2, 2020 at 1:18 PM Karl Kleinpaste <karl at kleinpaste.org> wrote:
>>
>> On 5/2/20 2:16 PM, Greg Hellings wrote:
>>
>> Including that in my patch.
>>
>> I see that git supports deleting a tag.  (Never noticed that before.)  Are we good with doing git tag -d 4.2.0, merging a patch, and re-tagging?
>
> _______________________________________________
> xiphos-devel mailing list
> xiphos-devel at crosswire.org
> http://www.crosswire.org/mailman/listinfo/xiphos-devel