Test pull request

Actually, as long as you always push your changes to github, it won't be a big problem. Of course it might be better to have another copy elsewhere as well.