Change git username

This commit is contained in:
exu 2023-07-07 20:34:23 +02:00
parent 4b6b26a251
commit 9e9772aa60

View File

@ -3,9 +3,9 @@
[alias]
mr = !sh -c 'git fetch $1 merge-requests/$2/head:mr-$1-$2 && git checkout mr-$1-$2' -
[user]
name = RealStickman
name = exu
email = mrc@frm01.net
[gitlab]
user = RealStickman
user = exu
[github]
user = RealStickman
user = exu