fmiguelez commented on pull request #9884: URL: https://github.com/apache/pulsar/pull/9884#issuecomment-800276226
> > 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.) I forced the push and it seems ok now. Thank you very much @lhotari In my case I worked on master on the fork because I only created it to create a pull request (a previous one). The problem was that the fork not up to date with original master. Tried to re-sync but probably it did not go very well. ---------------------------------------------------------------- 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]
