This repository was archived by the owner on Apr 1, 2020. It is now read-only.

Edit bot comment when the PR has been updated #13

Closed

Description

opened

I've fixed the commit messages, and the status is now green, but the original list of issues in the bot's comment remains.

No one assigned

No labels

No projects

No milestone

None yet

No branches or pull requests