We use a simplified version of the GitFlow.
All devs merge branches in `dev` branch. When we want to release we merge `dev` into `master` and we release.
I would like to temporary disable the possibility to merge into `dev` if there is an open PR from `dev` to `master`
Once the PR `dev` -> `master` has been merged merging into `dev` still became available.
Is this possible ?