Skip to content
New issue

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

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

Already on GitHub? # to your account

Improve other bots section #83

Merged
merged 1 commit into from
Dec 8, 2019
Merged

Improve other bots section #83

merged 1 commit into from
Dec 8, 2019

Conversation

mfix22
Copy link
Collaborator

@mfix22 mfix22 commented Sep 13, 2019

  • Address all new TODOs
  • Unit tests
  • Confirm user config API
  • Add to /docs

@mfix22 mfix22 added the site Updates to the website/docs label Sep 13, 2019
@mfix22 mfix22 merged commit 09b8da8 into master Dec 8, 2019
@mfix22 mfix22 deleted the improve-other-bots-section branch December 8, 2019 22:34
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
site Updates to the website/docs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant