Skip to content
This repository has been archived by the owner on Nov 10, 2022. It is now read-only.

Investigate comment actions on PRs #107

Open
mbestavros opened this issue Dec 8, 2020 · 0 comments
Open

Investigate comment actions on PRs #107

mbestavros opened this issue Dec 8, 2020 · 0 comments

Comments

@mbestavros
Copy link
Contributor

mbestavros commented Dec 8, 2020

Many existing Github bots allow users to interface with them via comment commands. This would probably be a good addition to Enarxbot's functionality.

See #101, enarx/enarx#379, and keylime/rust-keylime#150 (comment).

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant