Add script to change to the UGent git identity
This commit is contained in:
parent
eeedf54a97
commit
d87153bd00
|
@ -0,0 +1,4 @@
|
||||||
|
#!/bin/sh
|
||||||
|
|
||||||
|
git config user.name "akasroua"
|
||||||
|
git config user.email "amin.kasrouaouam@ugent.be"
|
Loading…
Reference in New Issue