From d87153bd00f8b6c206276e7684c7cc2e8fff03d6 Mon Sep 17 00:00:00 2001 From: coolneng Date: Mon, 22 Nov 2021 16:28:41 +0100 Subject: [PATCH] Add script to change to the UGent git identity --- scripts/.local/share/scripts/ugent-git | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 scripts/.local/share/scripts/ugent-git diff --git a/scripts/.local/share/scripts/ugent-git b/scripts/.local/share/scripts/ugent-git new file mode 100755 index 0000000..a1b8ef7 --- /dev/null +++ b/scripts/.local/share/scripts/ugent-git @@ -0,0 +1,4 @@ +#!/bin/sh + +git config user.name "akasroua" +git config user.email "amin.kasrouaouam@ugent.be"