Actually a first attempt was not successful. And the reason was "main" branch name. I asked INFRA folks assistance and as I understood they configured GitBox HEAD to be "main" branch HEAD. I suppose it did the trick and we should not see ignite-3 PR notifications on dev-list anymore.
2020-12-22 13:05 GMT+03:00, Ivan Pavlukhin <vololo...@gmail.com>: > Ticket was merged. Thanks to all participants. > > 2020-12-21 10:12 GMT+03:00, Ivan Pavlukhin <vololo...@gmail.com>: >> Folks, >> >> I will merge the PR tomorrow if there is no objections. >> >> 2020-12-19 0:56 GMT+03:00, Valentin Kulichenko >> <valentin.kuliche...@gmail.com>: >>> Folks, >>> >>> Can someone take a look at this PR? I'm generally OK with the change, >>> but >>> I'm not familiar with the mechanisms used here. >>> >>> -Val >>> >>> On Thu, Dec 17, 2020 at 11:16 PM Ivan Pavlukhin <vololo...@gmail.com> >>> wrote: >>> >>>> Igniters, >>>> >>>> I noticed notifications about PRs in ignite-3 repository sent to >>>> dev-list. I suppose we should configure notifications similar to main >>>> ignite repository. I prepared a ticket [1] and PR for this. Please >>>> review. >>>> >>>> [1] https://issues.apache.org/jira/browse/IGNITE-13875 >>>> >>>> -- >>>> >>>> Best regards, >>>> Ivan Pavlukhin >>>> >>> >> >> >> -- >> >> Best regards, >> Ivan Pavlukhin >> > > > -- > > Best regards, > Ivan Pavlukhin > -- Best regards, Ivan Pavlukhin