[Rev 01] RFR: build: respect git's http.proxy setting

[Erik Helin]

On Thu, 16 Apr 2020 15:00:47 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

>> Erik Helin has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Check if git exists
>
> Actually, looks like it doesn't build. :)

@rwestberg now it builds! ��

-------------

PR: https://git.openjdk.java.net/skara/pull/586