Re: Using GitHub merge button

2021-10-20 Thread Andrey Yegorov
+1 from me too. On Wed, Oct 20, 2021 at 10:27 AM Henry Saputra wrote: > Other than formatting of the subject and some additional info to the PR > commit, and automatically set tags to the PR, I think the script do not do > anything special, right? > > I think this is kind of "legacy" approach wh

Re: Using GitHub merge button

2021-10-20 Thread Henry Saputra
Other than formatting of the subject and some additional info to the PR commit, and automatically set tags to the PR, I think the script do not do anything special, right? I think this is kind of "legacy" approach when we commit to the Apache managed Git repo, following approach that Apache Spark

Re: Using GitHub merge button

2021-10-20 Thread Enrico Olivelli
Do we need some VOTE? I think we do not need it But we should update the committer guide Enrico Il Mer 20 Ott 2021, 18:50 Henry Saputra ha scritto: > Ack for this one. I have encountered this issue for some PRs. > > - Henry > > On Tue, Oct 5, 2021 at 2:44 AM Enrico Olivelli > wrote: > > > He

Re: Using GitHub merge button

2021-10-20 Thread Henry Saputra
Ack for this one. I have encountered this issue for some PRs. - Henry On Tue, Oct 5, 2021 at 2:44 AM Enrico Olivelli wrote: > Hello, > The bk-merge-script has new problems, now it fails for me consistently, it > looks like a problem with the GH Merge API, see the error message below. > > In Pul