When we release our code in bitbucket-pipelines, some commits are pushed directly to develop by the bitbucket-pipelines user as part of our release process. I would like to configure Bitbucket branch permissions to prevent all other users from pushing directly to develop or master (only allowing merges via PRs). Unfortunately, this is not currently supported since the bitbucket-pipelines user is not exposed in the list of users.