Dan , Micheus ... how to re-submit pull-request ?

[dgud]

ggaliens the ssh error is strange, it be because github was ddos'ed the other day, or that
something is bad in your setup, I have noticed some of your commits are from ggaliens@bougusmail.org
and some are not.

So maybe check your settings?

otherwise you make a new commit and push the branch again.

When I want you to fix something in one (the latest) commit do:
git checkout BRANCH_NAME
<edit files>
git add CHANGED_FILES
git commit --amend
git push origin -f BRANCH_NAME

If you need to fix several commits you can use:
git add SOME_CHANGED_FILES
git commit --fixup SHA_ID_OFF_FIXED_COMMIT
git add MORE_CHANGED_FILES
git commit --fixup SHA_ID_OFF_OTHER_FIXED_COMMIT

git rebase -i --autosquash upstream/master (if you have named my repos upstream)
git push -f origin BRANCH_NAME

Learning git is well worth it and use gitk all time to check that the correct stuff is commited
and that the commit messages looks good.

Info in pull-reqs get lost, keep info commit msgs.
First line should be max 80 chars describing what you did
Blank line
Description of why it is needed and implementation details if you think it is necessary.