Breaking News: Grepper is joining You.com. Read the official announcement!

how to delete pull request

Add Answer

Santino answered on August 28, 2020 Popularity 10/10 Helpfulness 2/10

answer how to delete pull request

related git remove current pull

related remove pull request github

related how to remove pull request

how to delete pull request

Comment

There is no way you can delete a pull request yourself -- you and the repo owner (and all users with push access to it) can close it, but it will remain in the log. This is part of the philosophy of not denying/hiding what happened during development.

However, if there are critical reasons for deleting it (this is mainly violation of Github Terms of Service), Github support staff will delete it for you.

Whether or not they are willing to delete your PR for you is something you can easily ask them, just drop them an email at support@github.com

UPDATE: Currently Github requires support requests to be created here: https://support.github.com/contact

Popularity 10/10 Helpfulness 2/10 Language whatever

Source: Grepper

Tags: pull-request whatever

Link to this answer
Share Copy Link

Contributed on Mar 21 2021

Santino

0 Answers Avg Quality 2/10

Closely Related Answers

git remove current pull

Comment

git reset --hard HEAD@{1}

Popularity 10/10 Helpfulness 9/10 Language shell

Source: stackoverflow.com

Tags: git

Link to this answer
Share Copy Link

Contributed on Aug 28 2020

Obedient Osprey

0 Answers Avg Quality 2/10

remove pull request github

Comment

import requests

def remove_pull_request(owner, repo, pull_request_number, access_token):
    url = f"https://api.github.com/repos/{owner}/{repo}/pulls/{pull_request_number}"
    headers = {
        "Authorization": f"Bearer {access_token}"
    }
    response = requests.delete(url, headers=headers)
    
    if response.status_code == 204:
        print("Pull request successfully removed.")
    else:
        print("Failed to remove pull request.")
        
# Usage example
owner = "your_username"
repo = "your_repository"
pull_request_number = 123
access_token = "your_github_access_token"

remove_pull_request(owner, repo, pull_request_number, access_token)

Popularity 9/10 Helpfulness 1/10 Language python

Source: Grepper

Link to this answer
Share Copy Link

Contributed on Sep 12 2023

YOU.com

0 Answers Avg Quality 2/10

how to remove pull request

Comment

import requests

# API endpoint and authentication
repo_owner = "owner_username"
repo_name = "repository_name"
pull_request_number = 123
api_token = "your_github_api_token"
headers = {"Authorization": f"Bearer {api_token}"}

# Delete the pull request
url = f"https://api.github.com/repos/{repo_owner}/{repo_name}/pulls/{pull_request_number}"
response = requests.delete(url, headers=headers)

# Check the response status
if response.status_code == 204:
    print("Pull request successfully removed.")
else:
    print("Failed to remove the pull request.")
    print(response.text)  # Print response details in case of an error

Popularity 9/10 Helpfulness 1/10 Language python

Source: Grepper

Link to this answer
Share Copy Link

Contributed on Sep 11 2023

YOU.com

0 Answers Avg Quality 2/10

how to delete pull request

Contents

More Related Answers

how to delete pull request

Closely Related Answers

git remove current pull

remove pull request github

how to remove pull request

Grepper

Documentation

Social

Legal

Contact

Oops, You will need to install Grepper and log-in to perform this action.