Patch get-repository.sh [WAS] addition to the documentation

[Nicolas Sebrecht]

On Sun, Jan 29, 2017 at 12:17:09PM +0100, J wrote:

> did now change to /bin/sh

LGTM.

> diff --git a/scripts/get-repository.sh b/scripts/get-repository.sh
> index 4258e8f..5e7df38 100755
> --- a/scripts/get-repository.sh
> +++ b/scripts/get-repository.sh

Please, send patches inline (not attached). You should use

'git format-patch' (and 'git send-email') to have the good format.

Thanks,

-- 
Nicolas Sebrecht