The PR was a one-click solution for me. Thanks for the addition!
It would require more clicks if it was formatted improperly, but you followed the repo’s guidelines, so it worked great!
PS: For anyone who doesn’t know…
I made a post about using the Repo, one which includes a Contributor section at the bottom. It’ll teach you how to submit animations through a Pull Request.