Feature added: Automatic merge on approved pull request

[Ultra2244]

From now on, reviewed pull request will be automatically merged into the dev branch, and the according branch that was merged deleted.