Re: Issue with GitHub PR
Ah, ok thanks.
Get Outlook for iOS<https://aka.ms/o0ukef>
From: Antoine Pitrou <antoine@xxxxxxxxxx>
Sent: Monday, October 22, 2018 11:00 AM
Subject: Re: Issue with GitHub PR
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:
There is no point in creating a new PR.