Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bug: handling cases where the head of PR is removed from the github #52

Open
AlbertSGS opened this issue Apr 27, 2023 · 0 comments · May be fixed by #53
Open

Bug: handling cases where the head of PR is removed from the github #52

AlbertSGS opened this issue Apr 27, 2023 · 0 comments · May be fixed by #53

Comments

@AlbertSGS
Copy link

To start with, I just wanted to say thanks for the tool as it helped with my research a bunch.
While I was using the tool, I find the following issue:

Issue Description:

When a GitHub repository is forked and the branch is removed after sending a pull request, the tool malfunctions and does not generate any indication of the issue. The problem was detected while analyzing the pull request triggered by the following code section: openhab/openhab-addons#5664.

Proposed Solution:

To fix this issue, it is recommended to use the commit from the base repository.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant