Re:Building bots to mend badges, or how to get your GitHub a...
by movermeyer on Friday March 09, 2018 @06:23AM
(#16551057)
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.
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.