Commit access to lean-pr-testing-branches

Stream: batteries

[Joachim Breitner]

Regular part of working on lean PRs is to try out fixes on the pr-testing branches, but it seems not all lean developers have permission to push to such branches. Should we just ask for such permission when this arises (it does for me now)?
Or explore alternatives (such as keeping these lean-pr-testing branches in a forked repo with different permissions)?

[Kim Morrison]

I've just given @Joachim Breitner this access (finally). It's too annoying to go looking for lean-pr-testing-NNNN branches on other remotes.