Use github's default_branch instead of master
Merge pull request #9 from raphink/dev/default_branch

Use github's default_branch instead of master