A repository will be deleted soon; I'd like to make it read-only during the transition, so people can get to it, but no developers will be able to push to it.
There doesn't seem to be an easy way to do this, as the repo is under a parent project and inherits its access controls.