ezamelczyk

#!/bin/sh
git log --shortstat | grep -E "(Author: )(\b\s*([A-Z]\w+)){2}|fil(e|es) changed" | awk '
{
 if($1 ~ /Author/) {
  author = $2" "$3
 } else {
  files[author]+=$1
  inserted[author]+=$4
  deleted[author]+=$6
 }

schmidt1024

# first create an empty repo on GitHub
git remote add github https://yourLogin@github.com/yourLogin/yourRepoName.git
git push --mirror github
git remote rename origin gitlab
git remote rename github origin

schmidt1024

[color]
	status = auto
	diff = auto
	branch = auto
	interactive = auto
	ui = true
[alias]
	amend = !"git commit --amend -C HEAD"
	s = status
	a = add -A

rbialek

Host github.com
        User git
        Hostname github.com
        PreferredAuthentications publickey
        IdentityFile /home/user/.ssh/id_rsa