Remove more unused scripts

bash/sources/31_git-utils

@@ -0,0 +1,39 @@
+#!/bin/bash
+
+function git-config-as {
+	local SHA NAME EMAIL
+	SHA=$1
+	if [ -z "$1" ]; then
+		SHA=HEAD
+	fi
+	NAME=$( git log $SHA -1 --pretty=format:%aN )
+	EMAIL=$( git log $SHA -1 --pretty=format:%ae )
+
+	git config user.name "$NAME"
+	git config user.email "$EMAIL"
+	echo "Configured as \"$NAME <$EMAIL>\""
+}
+
+function git-amend-author {
+	NAME=$( git config user.name )
+	EMAIL=$( git config user.email )
+
+	git commit --amend --no-edit --author "$NAME <$EMAIL>"
+}
+
+
+if [ ! -f "$HOME/.gitconfig" ]; then
+    cat << ___CONF___ > "$HOME/.gitconfig"
+[alias]
+    la = log --graph --full-history --date-order --all --pretty=format:'%Cred%h%Creset %ad %C(bold blue)[%an]%Creset | %C(white)%s%Creset %C(yellow)%d%Creset' --date=relative
+
+[color]
+    ui = auto
+[core]
+    excludesfile = ~/gitignore
+[push]
+    default = tracking
+[credential]
+	helper = store
+___CONF___
+fi