Fix user list hover "xmas tree" effect :D
Cancel pull request
Fix typos
Use forms with POST method to merge and cancel requested pulls
Check if the forms validate which ensure the CSRF protection
Merge and cancel pull-request must use POST requests
Rename the request DB object to pull_request to not conflict with the flask request object
Check if there is a parent before generating the diff
Move the repo_commit variable where it is used and remove it where not used
Have notify on merge and cancel pull-request require the fas_user that performed the action
Let the close_pull_request method require the fas_user that performed the action
Specify the fas_user that performed the action when merging/canceling a pull-request