We can't use the dependent PR feature with Gitlab. The pr/* branches have to be protected to avoid letting any developer freely push to, or create such branches. The problem is that since a recent version, Gitlab will not allow us to delete protected branches using the API.