arrow-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Andy Grove <>
Subject Unable to merge PRs on new computer
Date Sun, 31 Mar 2019 23:46:05 GMT
I'm not sure what I'm missing, but when I run ./dev/ 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
the instructions on the wiki.

I'm sure I'm missing something obvious but could use some help.



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