#!/bin/env sh git-user-config() { git config --global user.email "fedde@eventit.ag" git config --global user.name "Michel Fedde" }