Skip to content
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.

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

add teogor as a contributor #3

Merged
merged 3 commits into from
Oct 2, 2020
Merged

add teogor as a contributor #3

merged 3 commits into from
Oct 2, 2020

Conversation

zeobot[bot]
Copy link
Contributor

@zeobot zeobot bot commented Oct 2, 2020

Adds @teogor as a contributor for code.

This was requested by TeodorHMX1 in this comment in (#1)

@zeobot zeobot bot mentioned this pull request Oct 2, 2020
@zeobot zeobot bot requested review from teogor and ingrid-uk October 2, 2020 21:22
@teogor teogor added @documentation Improvements or additions to documentation @priority-high labels Oct 2, 2020
@teogor
Copy link
Member

teogor commented Oct 2, 2020

@zeobot set ebm to pass

@zeobot
Copy link
Contributor Author

zeobot bot commented Oct 2, 2020

I've just updated the following check: ebm to pass


📌 This is an automatic response. Action requested by @TeodorHMX1 in this comment
📌 To disable the comments from zeobot, type: 👉@zeobot disable comments👈

@teogor teogor merged commit a7f70a6 into main Oct 2, 2020
@zeobot zeobot bot deleted the add-contributor/teogor branch October 2, 2020 21:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
@documentation Improvements or additions to documentation @priority-high
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant