push: do not give big warning when no preference is configured

[git.git] / templates / this--description

Unnamed repository; edit this file 'description' to name the repository.