Fabian Stelzer <fs@xxxxxxxxxxxx> writes: > Still, if this gets added to git/git I think the risk of users > considering the github release to be the primary source is quite high > since lots of tools and CI integrations use them. That's a bit of downside. I guess not using this patch then would make our life simpler, then.
