peterrehm/gh — pull request #3 by peterrehm (2014-12-16 19:43:01+00:00)
Title: Fixed merge command to show proper information after merge

The merge command had an issue detecting the merge status since it relied on another
call to the github api. Most likely to the way we merge the commits the merge status is
updated slightly later.

The check now relies on the fact that all commands will be executed successfully.

Tickets:
- none

/cc @sgnann