[postgis-devel] 3.0.1 issues report

[Sandro Santilli]

On Fri, Jun 26, 2020 at 12:52:52PM -0400, Greg Troxel wrote:

> I know this is a crazy notion, but it almost seems like they are making
> it difficult to do things other than the github/web-ui way :-)

I've the same impression, but I think there's a link that says
"instructions to merge locally" which suggests to not even
create a new remote (directly using the URL as the remote name).

You adding the remote seems a good way to me.

--strk;