Hi Mentors, I'm trying to merge a PR via GitHub and seeing this message:[image: Inline image 1]
It looks like that while I do have access to gitbox I have no write access to the GitHub mirror. How can I get it? Cheers, -- Yaniv Rodenski
Hi Mentors, I'm trying to merge a PR via GitHub and seeing this message:[image: Inline image 1]
It looks like that while I do have access to gitbox I have no write access to the GitHub mirror. How can I get it? Cheers, -- Yaniv Rodenski