jorgecarleitao commented on pull request #9473: URL: https://github.com/apache/arrow/pull/9473#issuecomment-778771983
> @jorgecarleitao this is merged, but I can't see it on `master`. And why does git say you've force-pushed `apache:master`? I wanted to start rebasing my work onto this Because I f*** up and force-pushed this + an old master to master. I have since reverted all the mess I created. This is not merged; github just does not understand what just happened (which, to be fair, I did not make it easy). ---------------------------------------------------------------- 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]
