I did not initially notice that this was moved. Would it make sense to enforce the repository's read-only status from the settings? In the case this was just forgotten.