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.

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

Random error in PR bots #218

Closed
jeffmcaffer opened this issue Oct 7, 2020 · 0 comments · Fixed by #225
Closed

Random error in PR bots #218

jeffmcaffer opened this issue Oct 7, 2020 · 0 comments · Fixed by #225
Labels
bug An error or flaw that causes unintended or unexpected results engineering Will involve Docs Engineering triage Do not begin working on this issue until triaged by the team

Comments

@jeffmcaffer
Copy link
Contributor

What is the current behavior?

Seems like there is a misconfiguration somewhere between the github-actions bot and the allcontributors bot

In #204 we see the github bot asking the allcontributors to add me as a docs contributor and then allcontributors not understanding what to do.
@jeffmcaffer jeffmcaffer added bug An error or flaw that causes unintended or unexpected results engineering Will involve Docs Engineering labels Oct 7, 2020
@jeffmcaffer jeffmcaffer changed the title Random bot message in PRs Random error in PR bots Oct 7, 2020
@github-actions github-actions bot added the triage Do not begin working on this issue until triaged by the team label Oct 7, 2020
@jeffmcaffer jeffmcaffer mentioned this issue Oct 8, 2020
Closed
@zeke zeke mentioned this issue Oct 8, 2020
Merged
This was referenced Jan 21, 2021
Open
Open
@rhsayem075 rhsayem075 mentioned this issue Jan 26, 2021
Open
This was referenced Jan 27, 2021
Open
Open
Open
@YoYBaBy YoYBaBy mentioned this issue Feb 3, 2021
Open
jnidzwetzki pushed a commit to jnidzwetzki/docs that referenced this issue Oct 6, 2022
@Loquacity @jacobprall
KBase migration - connection pools (github#218)

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode
20f51a1 
* Set up files

* Add raw content

* Edit connection pools

Co-authored-by: Jacob Prall <prall.jacob@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug An error or flaw that causes unintended or unexpected results engineering Will involve Docs Engineering triage Do not begin working on this issue until triaged by the team
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

remove all-contributors suggestion from merge notification github/docs
1 participant
@jeffmcaffer