Am 13.03.2018 um 21:18 schrieb Andrea Pescetti:
> Matthias Seidel wrote:
>> Just for the record, the release/tag for AOO 4.1.5 is missing on GitHub:
>> @Jim: Can you add it like you did for 4.1.4?
> We shouldn't tag in Github. Github does not exist as an official
> repository.
> Tags go here:
> and Github will pick it up from there once it is added.

If it works this way, I am perfectly OK with it. ;-)
(I was *really* under the impression that we had a 415 tag in SVN but
not on GitHub, should have looked before writing...)


> Github is a mirror when it works, a nuisance when it doesn't (but it
> looks like the mirror mechanism was fixed recently).
> Regards,
>   Andrea.
> ---------------------------------------------------------------------
> To unsubscribe, e-mail:
> For additional commands, e-mail:

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

Reply via email to