No DMCA takedown requests were sent to GitHub. We simply nicely asked the author of Dropship to take down the link and he fully understood our position and took the code down.
The only erroneous use of DMCA was when we attempted to take down the link on Dropbox, which was an entirely honest mistake.