Hi, It seems that I do not have the committer permissions to the repo, as I can merge PR neither from GitHub, nor manually. Could you please grant me the required access rights? Please let me know if any additional information is required.
Regards, Vladimir.
