Small fix for git repos