Rare project developers

[mc36 <>]

hi,

On 2/8/23 12:25, Alexander Gall wrote:
> Ok, I guess --force results in the UPDATE. I now accept that as well,
> should be fine. Please try again, but I think now you have to
> explicitely delete the tag first (to trigger the webhook on the same
> commit)
>
> $ git push origin :optimize_profiles
> $ git push origin optimize_profiles
>
> Also, the tag doesn't have to be annotated, but that should also be
> irrelevant, except that you'll see a different commit ID reported by
> the optimizer (annotated tags have their own commit which act as an
> alias for the commits you see in the commit log).

thanks! finally i was able to trigger the optimization! :)

br,
cs