na4zagin3/satyrographos-repo

Restore automatic follow-up commands after removal

na4zagin3 opened this issue · 0 comments

opam publish rewrites the entire pull request body. Therefore, CI Comment flow need to restore the removed options.