Itamar e5ceec8621 Ports: Add default .gitconfig for Git port ...

This stops git from asking us to configure a username and email when we
try to commit.

2020-09-15 21:43:29 +02:00

..

patches

…

.gitignore

…

default_gitconfig

…

package.sh

…