moja-global / moja_global_docs

Repository to host the moja global technical documentation
https://docs.moja.global/en/master/
Mozilla Public License 2.0
35 stars 67 forks source link

Documentation📄: Add more documentation on our GitHub Bots #107

Closed HarshCasper closed 3 years ago

HarshCasper commented 3 years ago

What is the current documentation state?

Our existing documentation currently only talks about All-Contributors Bot. We would like to document the other bots we utilize across our projects. It would allow the contributors to have a realistic idea about some of the CI configurations that we utilize for project management across our projects.

Where is this stated?

https://docs.moja.global/en/latest/DeveloperWorkflow/bots_and_integrations.html#bots-and-integrations

Why do you want to improve the statement?

We are using the following:

Proposed Statement

We would like to add some context around the bots we use and for what purpose. A small section for each of them would suffice.

Additional context.

No response

Sukriti-sood commented 3 years ago

Can I work on this issue?

Sukriti-sood commented 3 years ago

@HarshCasper It seems there is a bug in merge Conflict watcher as it is not commenting after labeling pull request with merge-conflict.