Hacker News new | ask | show | jobs
by movermeyer 3029 days ago
Thanks for reporting this. Firstly, I am sorry for the inconvenience of receiving a broken pull request.

I have looked into the pull request and discovered that this is a variant of "Bug #4" from the blog post. It happens when the third-party renames their forked repo. At this point, the names don't line up and my bot doesn't realize that the two repos fork to the same location.

I have manually fixed my merge request for your repo and will be writing a script to look for others that might have had a similar experience.

Sorry once again.