na4zagin3 opened this issue 4 years ago · 0 comments
opam publish rewrites the entire pull request body. Therefore, CI Comment flow need to restore the removed options.