tree 99ec569bff75117a9bfb93262996b7e9031f8b02
parent 4531aa6aaf707f811fa0a7ca55e1ae4a319d7f55
author Václav Kubernát <kubernat@cesnet.cz> 1641894754 +0100
committer Václav Kubernát <kubernat@cesnet.cz> 1641894851 +0100

dev-setup-git.sh: Ignore error message

If your current directory is NOT a git repository, you would get a
misleading error message that said you're not inside a git repository,
which is actually fine.

Change-Id: I456802d09904abf55637562ed0870b26e2df6ac4