> In order to be more transparent, I would like to propose that we put > something like ' [WIP DO NOT MERGE]' in the PR title as my colleagues > and I have done on some new PRs you can follow. Labels cannot be used > as not every contributor is a committer. Once the PR is ready for > merging, we can remove it.
Is it possible to attach bots to PRs, like for Issues? That way, a bot could take care of attaching and removing labels, and access control could be done according to the contributor's role.