|
|
|
|
|
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. |
|