Comment by ankenyr

It would be better to attribute. You can still do this by fixing the git commit history and doing a force push. It would do a lot to make people feel better.