title: Operating a GitHub pull request on Android Studio
body: <p>I can't manage to find a simple way to initiate a merge from a pull request in Android Studio, where everything else concerning github is quite well implemented.
  The only way I have found is to enter the console instruction they give on GitHub in Git Shell, and to switch back to Android Studio after that to merge.</p>
  
  <p>Did I miss a simpler way to do that ?</p>