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

feat: improve zally issue creation (#607) #623

Merged
merged 1 commit into from
Jan 19, 2021

Conversation

tkrop
Copy link
Member

@tkrop tkrop commented Jan 12, 2021

fixes. #607.

The new version of the script is intended to be much more robust. It will only repeat the initial request until the commit message is available and than use the result to evaluate the situation and create an issue. If the script decides to create an issue, it checks whether the commit has attached pull requests using a new experimental github api command and uses this as context information instead of the commit information. Anyhow, both ways should make it easy to review the changes.

@tkrop tkrop self-assigned this Jan 12, 2021
@tkrop tkrop requested a review from ePaul January 12, 2021 17:07
@tkrop tkrop added the build label Jan 12, 2021
@tfrauenstein
Copy link
Member

👍

1 similar comment
@tkrop
Copy link
Member Author

tkrop commented Jan 19, 2021

👍

@tkrop tkrop merged commit 320cd76 into master Jan 19, 2021
@tkrop tkrop deleted the 607-improve-zally-issue-creation branch January 19, 2021 13:40
@vadeg vadeg mentioned this pull request Dec 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants