DEI Subversion Administration

From AIRWiki
Revision as of 23:12, 21 October 2010 by MatteoMatteucci (Talk | contribs) (Adding a new user)

Jump to: navigation, search

This page contains instruction for administrator of Subversion repository hosted on the departmental servers.

Adding a new user

To add a new user, do the following:

  • Go to https://acme.ws.dei.polimi.it/ and login with your Dei account
    • If needed, Create a new account
    • Go to Group -> Modify, select the Group, i.e., the project/repository, and add the user to it
  • Go to https://trac.ws.dei.polimi.it/<PROJECT> and login with your Dei account
    • Select the Admin tab
    • Select the Subversion access on the side menu
    • Select your Subversion group (if any)
    • Select the user from the Subject list in the Add Group Member area and add!

You can delegate the Admin rights to other users as well:

  • Go to https://trac.ws.dei.polimi.it/<PROJECT> and login with your Dei account
    • Select the Admin tab
    • Select the Permissions on the side menu
    • Write user name in the Grant permission textbox
    • Select TRAC_ADMIN among the available items and add!

More details are available at http://webspace.ws.dei.polimi.it/faq.plp

Creating a new account

The best way to create a new account is to ask the user to do it: Let users create their own accounts

This operation can be performed by anyone who has a valid departmental account.

  • Go to https://acme.ws.dei.polimi.it/ and login with your Dei account
  • Select 'Accounts' -> 'New account'
  • Fill in the data (users can subsequently change their passwords)

Let users create their own accounts

This procedure let the users to select all the details of the account, so the supervisor has only to confirm the account.

Instructions for a new user:

Instructions for the Dei responsible to confirm a newly created account

  • Login on https://acme.ws.dei.polimi.it/
  • Select 'Accounts' -> 'Modify accounts'
  • Select the new user from the list
  • Click on the 'Extend' button near the expiration date