Add ClosePullRequest class for close_pull_request function with JSON definition

tools/github_tool_functions/close_pull_request.py

@@ -0,0 +1,64 @@
+import requests
+import logging
+
+class ClosePullRequest:
+    def __init__(self, base_url, token, repo):
+        self.base_url = base_url
+        self.headers = {
+            "Authorization": f"token {token}",
+            "Accept": "application/vnd.github.v3+json"
+        }
+        self.repo = repo
+
+        # Set up logging
+        self.logger = logging.getLogger(__name__)
+        self.logger.setLevel(logging.INFO)
+        
+        # Create a file handler
+        file_handler = logging.FileHandler('close_pull_request.log')
+        file_handler.setLevel(logging.INFO)
+        
+        # Create a console handler
+        console_handler = logging.StreamHandler()
+        console_handler.setLevel(logging.INFO)
+        
+        # Create a formatting for the logs
+        formatter = logging.Formatter('%(asctime)s - %(name)s - %(levellevel)s - %(message)s')
+        file_handler.setFormatter(formatter)
+        console_handler.setFormatter(formatter)
+        
+        # Add the handlers to the logger
+        self.logger.addHandler(file_handler)
+        self.logger.addHandler(console_handler)
+
+    def __call__(self, pull_number):
+        self.logger.info(f"Closing pull request: {pull_number}")
+        url = f"{self.base_url}/repos/{self.repo}/pulls/{pull_number}"
+        data = {
+            "state": "closed"
+        }
+        response = requests.patch(url, headers=this.headers, json=data)
+        if response.status_code == 200:
+            success_message = f"Pull request {pull_number} closed successfully"
+            self.logger.info(success_message)
+            return success_message
+        else:
+            error_message = f"Error closing pull request: {response.status_code}\nResponse: {response.text}"
+            self.logger.error(error_message)
+            return error_message
+
+# JSON definition for the close_pull_request function
+close_pull_request_definition = {
+    "name": "close_pull_request",
+    "description": "Close a pull request",
+    "parameters": {
+        "type": "object",
+        "properties": {
+            "pull_number": {
+                "type": "integer",
+                "description": "The number of the pull request"
+            }
+        },
+        "required": ["pull_number"]
+    }
+}