Fixed incorrect success message on repo options page.

Modified pullreq.js to properly supply a page-specific success message
for saving repository options instead of duplicating the warning paths
message. A minor annoyance.