[postgis-devel] Change all stable branch versions to have git hash?

[rmrodriguez at carto.com]

Ok, I had misread you and I think now I understand the issue. It comes
from putting Postgis sources (coming from a tarball?) inside the
package git repository, alongside other debian packaging files. So,
when the script is called (which is always as the file it's marked as
a .PHONY target), it gets the hash of the packaging repository, not
from our upstream repo.

So I think the safest default option on our side would be to replace
the script `utils/repo_revision.pl` by a dummy script when generating
a tarball (make_dist.sh), that way the file won't be ever overwritten.
Does that make sense?