Ohh... thanks, Antoine! I'm pretty sure that's the issue.
On Mon, Apr 1, 2019 at 7:18 AM Antoine Pitrou wrote:
>
> Le 01/04/2019 à 15:12, Andy Grove a écrit :
> > Hi Krisztian,
> >
> > It's basically a github permissions issue when it comes to pushing the
> > merged PR branch to apache master.
>
Le 01/04/2019 à 15:12, Andy Grove a écrit :
> Hi Krisztian,
>
> It's basically a github permissions issue when it comes to pushing the
> merged PR branch to apache master.
>
> I get prompted for git username on the command line, which doesn't happen
> on my old desktop.
Ensure you're pushing t
Hi Krisztian,
It's basically a github permissions issue when it comes to pushing the
merged PR branch to apache master.
I get prompted for git username on the command line, which doesn't happen
on my old desktop.
I did create a github API token and set ARROW_GITHUB_API_TOKEN but it
doesn't help.
Hey Andy,
What's the error message?
Ensure, that You've correctly set up the environment variables described in
the
docstring:
# This utility assumes you already have a local Arrow git clone and that you
# have added remotes corresponding to both (i) the Github Apache Arrow
mirror
# and (ii) the
I'm not sure what I'm missing, but when I run ./dev/merge_pr.sh on a new
computer, I am prompted for my github username and even when I enter that,
the merge fails. I'm using the same id_rsa key on the new computer. I've
also tried setting the github oauth token in an environment variable as per
th
