This repository has moved to de-vri-es/setup-git-credentials. The documentation is available at the new location.