Merged in changes from development repository:

   Finished |Pull_Request_Type::write_pull_request_to_database|,
   |Pull_Request_Type::get_pull_request_from_database| and
   |Pull_Request_Type::get_pull_requests_from_database|.