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

Skip updating if upstream repo cannot be found #79

Merged

Conversation

vanessayuenn
Copy link
Contributor

First off, thank you for this tool! Autoupdate has been indispensable in our workflow. 🙇🏼

We ran into a bit of an issue though, when one of our external contributors deleted their fork before their PR was merged. This led to autoupdate crashing while it's evaluating all opened PRs, and hence not updating any of the open PRs. According to this doc, once the fork/head repo has been deleted, updating the PR branch will have to be done manually anyway, so I think we can just skip it if that's the case.

@chinthakagodawita
Copy link
Owner

Nice catch, thanks for the PR!

I'm a little behind in terms of cutting a new release but should have one out within the next week, will let you know once this is ready to use :)

@chinthakagodawita chinthakagodawita merged commit 13bf4ab into chinthakagodawita:master Dec 11, 2020
@chinthakagodawita
Copy link
Owner

@vanessayuenn Released as part of v1.0.0 - thanks again!

@vanessayuenn
Copy link
Contributor Author

Amazing. Thank you!

@vanessayuenn vanessayuenn deleted the codespace-1 branch December 18, 2020 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants