New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add mohseni s #37376

Merged

reporobot merged 3 commits into jlord:gh-pages from mohseni-s:add-mohseni-s

Nov 17, 2020

Contributor

mohseni-s commented Nov 17, 2020

No description provided.

mohseni-s added 2 commits

November 17, 2020 17:21


          add-mohseni

6ead463


          add-mohseni-s

50e2fda

Collaborator

reporobot commented Nov 17, 2020

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.


          delete extra file

4148bb8

mohseni-s closed this

reporobot merged commit 5814627 into jlord:gh-pages

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment