Personal git configuration file

.gitconfig

# F. Carrega Git configuration file
[user]
        name = Fabrice Carrega
        email = [email protected]

[alias]
        co = checkout
        ps = push
        r = remote -v
        a = add
        pl = pull
        c = commit -m
        b = branch
        undo = reset --soft HEAD^
        s = status
        m = merge