(please remember to CC me on replies)
On Wed, 5 Jun 2019 at 16:00, Alex Herbert wrote:
>
>
> On 5 Jun 2019, at 23:51, Eitan Adler wrote:
>
> (please remember to CC me on replies)
>
> When I want to merge a PR [0] it seems I don't have write permission
> according to github. Is this intentional
> On 5 Jun 2019, at 23:51, Eitan Adler wrote:
>
> (please remember to CC me on replies)
>
> When I want to merge a PR [0] it seems I don't have write permission
> according to github. Is this intentional such that I should push directly
> to gitbox, did I miss some step, or do I need to file
(please remember to CC me on replies)
When I want to merge a PR [0] it seems I don't have write permission
according to github. Is this intentional such that I should push directly
to gitbox, did I miss some step, or do I need to file an INFRA ticket?
[0]