git: Update user config

This commit is contained in:
Ismo Vuorinen
2023-02-16 17:05:43 +02:00
parent 0d93f2dbb2
commit 151b9300ed