this to dev or branch?
Merge pull request #1 from brainverb/dev

this to dev or branch? merging branches in github