[eargollo]

No description provided.

[deansheather]

LGTM, but we can't merge this until you set proper git user details and sign the commit with PGP.

git config --global user.name "name"
git config --global user.email "email"

[eargollo]

Weird. This is my .gitconfig:

$ cat ~/.gitconfig
[core]
        autocrlf = false
        eol = lf
[user]
        name = Eduardo Argollo
        email = eduardo@hp.com
[alias]
        aliases = config --get-regexp alias
        s = status -s
        psu = push --set-upstream
        lg=log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit --date=relative

What should I do? Create another branch, push the code again and do a new PR?

Thanks.