Closed ajm188 closed 9 months ago
Name | Link |
---|---|
Latest commit | 802e63ea68fba339bd5a76f050e44342abdf3f3e |
Latest deploy log | https://app.netlify.com/sites/vitess/deploys/652284c09367b50008bdda6f |
Deploy Preview | https://deploy-preview-1616--vitess.netlify.app |
Preview on mobile | Toggle QR Code...Use your smartphone camera to open QR code link. |
To edit notification comments on pull requests, go to your Netlify site configuration.
This is to support the preview functionality of the bot.
The root "cause" here is: on the first PR opened against a release branch after cutting a release tag from that series, the release tag and the head of the release branch are the same, so there is no change generated by
make generated-docs
. This would then cause both thegit add
andgit commit
to error.See https://github.com/ajm188/vitess/pull/12#issuecomment-1751871022