add contributors file #513
Conversation
|
@allcontributors please add @DeleMike for add contributors file. |
|
I couldn't determine any contributions to add, did you specify any contributions? |
|
@allcontributors please add @DeleMike for infra |
|
I've put up a pull request to add @DeleMike! 🎉 |
|
Thank you @DeleMike ! |
|
@all-contributors |
|
We had trouble processing your request. Please try again later. |
|
@all-contributors |
|
We had trouble processing your request. Please try again later. |
|
@all-contributors |
|
@allcontributors |
|
We had trouble processing your request. Please try again later. |
|
@allcontributors |
|
We had trouble processing your request. Please try again later. |
|
@all-contributors |
|
@DeleMike Thanks for your contribution! Seems allcontributors are quite unreliable, as you can see from this PR it at least have three problems:
Could you please try other alternative tool/service than allcontributors? |
|
I've put up a pull request to add @nearmax! 🎉 I've put up a pull request to add @ailisp! 🎉 I've put up a pull request to add @frol! 🎉 I've put up a pull request to add @carina-akaia! 🎉 I've put up a pull request to add @elliotBraem! 🎉 I've put up a pull request to add @itexpert120! 🎉 I've put up a pull request to add @Tguntenaar! 🎉 I've put up a pull request to add @petersalomonsen! 🎉 I've put up a pull request to add @jaswinder6991! 🎉 I've put up a pull request to add @ori-near! 🎉 Could not find the user |
Thanks @ailisp for the updates! do I still go ahead to try another tool/service? |
|
@DeleMike Looks like it's just taking time for all-contributors bot to create PRs for all contributors, and it's one contributor per PR - will cause merge conflict if merge them one by one. I merged on of the PRs, could you please make a PR to all all contributors in one PR manually? |
|
@ailisp, alright. I am looking into it. |
Fixes: #506