Add mr redbot3

[MrRedbot3]

No description provided.

[reporobot]

Uh oh, I see too many files, there should be one: contributors/add-USERNAME.

• Delete the extra file on your computer.
• Add and commit that change with these commands in terminal:

$ git add -A && git commit -m 'delete extra file'

• Then push those changes to your branch:

$ git push origin add-USERNAME

• Return to this page and close and then reopen the Pull Request so it is re-checked.

[reporobot]

Uh oh, I see too many files, there should be one: contributors/add-USERNAME.

• Delete the extra file on your computer.
• Add and commit that change with these commands in terminal:

$ git add -A && git commit -m 'delete extra file'

• Then push those changes to your branch:

$ git push origin add-USERNAME

• Return to this page and close and then reopen the Pull Request so it is re-checked.