Am 10.01.20 um 16:17 schrieb Chris Software:
> I am looking at the tags v2.1.1 and v2.1.2 on your main git repository
> listed here: and don't think
> they have been synchronized to your github repository here:
> Is there an automatic sychronization process that has failed and needs to
> be restarted?  Perhaps they need to be pushed manually?

The GitHub repository is a mirror of the development repository
( It does not contain the
backported commits within the stable branches and by extension it does
not contain the tags either.

Best regards
Tim Düsterhus

Reply via email to