opam-repo-ci icon indicating copy to clipboard operation
opam-repo-ci copied to clipboard

Create an opam-bot

Open shonfeder opened this issue 1 year ago • 0 comments

So long as we have a GitHub based publication process, there some messages we will want to post directly on PRs. This topic has come up in several places, most recently in https://github.com/ocurrent/opam-repo-ci/issues/372

Even once we have need to mature beyond that basis, having a bot associated with opam.ci is likely to be useful. Moreover, we can use the opam-bot account to automate interactions with GitHub, which would help support adding a customized review/publication layer as an alternative (or augment) to the GitHub web UI (should that be desirable).

shonfeder avatar Oct 02 '24 21:10 shonfeder