You should have permission now.
I just added the stan-dev group maintainers to the stanc3 repo list of teams. I believe that was the intention given the team maintainters is tagged “People that can approve pull requests across the org”.
You should have permission now.
I just added the stan-dev group maintainers to the stanc3 repo list of teams. I believe that was the intention given the team maintainters is tagged “People that can approve pull requests across the org”.