poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Please update the tag releases/poke-3


From: Jose E. Marchesi
Subject: Please update the tag releases/poke-3
Date: Sat, 18 Feb 2023 12:08:49 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Hello hackers!

Thanks to Arsen Arsenović now we have a nice infrastructure in place so
both released and development versions of poke will show a well
differenciated version.

However, this required to re-create the releases/poke-3.0 tag in the git
repo.  If your poke reports an UNKNOWN version like this when it starts:

   GNU poke UNKNOWN

Then you will want to do something like this:

$ git tag -d releases/poke-3.0 && git fetch origin tag releases/poke-3.0

Sorry for the inconvenience and for the bad practice of modifying a
published tag.  But this time it is worth it :)

Salud!



reply via email to

[Prev in Thread] Current Thread [Next in Thread]