|
From: Ethan A M. <me...@uw...> - 2025-04-07 02:45:54
|
On Sunday, 6 April 2025 15:11:47 PDT Dima Kogan wrote:
> Did you push the tag already (git push --tags)? I don't see it in the
> main repo.
Yeah, I was going to ask you about that.
I pushed it.
It's there.
I can see it on SourceForge.
But in order to pull it I need to do
"git pull --tags"
The extra option isn't needed in other cases, so why now?
Ethan
|