2013-11-07, 10:55
(2013-11-07, 09:34)holmen Wrote: I've got an github account and have pulled the latest. But u was wondering about credentials for push.
Pleas just make a pull request, I want to review the changes before I commit them.
You can make a pull request through github or straight from your local repo through a git client.