Only repo admin can merge pull-request
Fix the is_repo_admin function
Fix the redirection after creating a pull-request

Finally we redirect the user to the list of pull-requests of the repo
on which the pull-request was made.
Only show the merge button to repo admins