ulidtko commented on pull request #2152: URL: https://github.com/apache/thrift/pull/2152#issuecomment-633149202
To kick CI, just do empty `git commit --amend` followed by `git push -f`. This will modify dates of your HEAD commit, and therefore change the commit sha, and so will be seen as new content by CI bots. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
