arrow-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From paddy horan <paddyho...@hotmail.com>
Subject Re: Issue with GitHub PR
Date Mon, 22 Oct 2018 15:07:50 GMT
Ah, ok thanks.

Get Outlook for iOS<https://aka.ms/o0ukef>

________________________________
From: Antoine Pitrou <antoine@python.org>
Sent: Monday, October 22, 2018 11:00 AM
To: dev@arrow.apache.org
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:
https://status.github.com/messages

There is no point in creating a new PR.

Regards

Antoine.

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message