OCaml Forge

Detail: [#943] desemphasize the Admin/Developper difference

Features: Browse | Download .csv | Monitor

[#943] desemphasize the Admin/Developper difference

Date:
2011-04-02 09:34
Priority:
3
State:
Open
Submitted by:
Gabriel Scherer (bluestorm)
Assigned to:
Sylvain Le Gall (gildor-admin)
Summary:
desemphasize the Admin/Developper difference

Detailed description
As I have argued on the batteries list [list-post], I think the differenciation between "Project Admins" and "Members", which is highly visible on the forge [summary] and [member list] pages, is not a desirable feature. Credits and hierarchies (when they exist) should rather be less rigidly displayed in the project README, a CONTRIBUTORS file or something like that.

I have changed the "roles" of the batteries project to only have "developper" (which everyone is) and "site admin" (for the administrativia stuff). But the summary page still makes a distinction between "Admins" and the rest. It would be nice it could just forget it, and display the list of members with no specific differentiation.
(Btw, I don't know how to remove a "role" that is no longer used; is it possible ?)

[list-post] https://lists.forge.ocamlcore.org/pipermail/batteries-discuss/2011-March/000051.html
[summary] http://forge.ocamlcore.org/projects/batteries
[member list] http://forge.ocamlcore.org/project/memberlist.php?group_id=17

This is, of course, a very low-priority request. This is not a really important topic.

Followup

Message
Date: 2011-04-04 07:02
Sender: Gabriel Scherer

The information is already available on the member list : for Batteries I have created a "site admin" role which makes apparent who may perform administrative tasks on the forge page.

I don't think such information is necessary on the page summary : if one wanted to contact the persons "in charge of the project", one should probably rather send an email on the developpers mailing list.
Date: 2011-04-03 18:28
Sender: Sylvain Le Gall

Hi,

I don't think it is possible to remove an unused role.

Concerning the difference between Admin and Developer. I agree that it can be removed. Maybe, just add an "(admin)" at the end of the name. Knowing who is admin is still useful to my mind.

What is your opinion ?

Sylvain Le Gall

Attached Files:

Changes:

Field Old Value Date By
assigned_tonone2011-04-03 18:28gildor-admin