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 <k...@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@crosswire.org http://www.crosswire.org/mailman/listinfo/xiphos-devel