Le 22/10/2018 à 16:53, paddy horan a écrit : > Hey all, > > I created a PR for ARROW-3541, after addressing review comments i rebased and > force pushed to my branch. GitHub seems to be having issues though, the PR is > not updating and i don’t believe CI was re-triggered. Looking at the PR now > comments I made this morning are not showing up and comments I deleted > because GitHub posted them multiple times are back.
GitHub is currently having issues: https://status.github.com/messages There is no point in creating a new PR. Regards Antoine.
