lhotari commented on pull request #9884: URL: https://github.com/apache/pulsar/pull/9884#issuecomment-800272746
> Is it ok to push to my master now? @fmiguelez it should be fine to push it. `git push -f origin master` in your case. (For future PRs, it's worth using an unique branch for each new PR. using master is fine as long as you don't use that branch for some other purpose while the PR is open.) ---------------------------------------------------------------- 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]
