Merged #242 "issue-545: Enforce repository permissions in patch page"