git: Update user config

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