message: repokitteh: document retest
diff: @@ -74,3 +74,14 @@ Example:
  Sets the label `waiting:any` on a PR. When a new commit is pushed or any comment is submitted the label will be removed.
  [Demo PR](https://github.com/envoyproxy/envoybot/pull/15)
  +
  +### [CircleCI Retest](https://github.com/repokitteh/modules/blob/master/circleci.star)
  +Restart failed CircleCI tests.
  +
  +Example:
  +```
  +/retest
  +```
  +Restarts all failed CircleCI tests, as reported in the commit statuses.
  +
  +[Demo PR](https://github.com/envoyproxy/envoy/pull/5060#issuecomment-439285928)
  