no changes (no comment posted, no site published, same as before)
docsite change (site published, comment posted)
revert change so docs don't differ from target (site unpublished, comment deleted)
This PR tests the changes in #135 that ensure that a change in docs in a PR that later gets removed (no longer differing), also cleans up any published site and removes the PR comment.
SUMMARY
This PR tests the changes in #135 that ensure that a change in docs in a PR that later gets removed (no longer differing), also cleans up any published site and removes the PR comment.
ISSUE TYPE
COMPONENT NAME
ADDITIONAL INFORMATION