Redmine

This patch adds links to groups in the project Settings > Members tab. Group names are now linked to /groups/:id.

Currently, users in the Members tab already have links to their profile pages. This allows users to view user details, and allows administrators to navigate from there to the user edit page. However, groups do not have links, so it is not possible to quickly view the group members or, for administrators, navigate to the page for editing group membership.

This patch resolves this inconvenience by replacing link_to_user with link_to_principal, which supports both users and groups and is already used in places such as the Members box on the project Overview page.