OCaml Forge

Project Member List

If you would like to contribute to this project by becoming a developer, contact one of the project admins, designated in bold text below.

Developer Summary Open Date Last Modified
Local GForge Admin Contact Local GForge Admin Admin

Sylvain Le Gall Contact Sylvain Le Gall Admin
Features 9 svn https? 102 Months Ago 102 Months Ago
Features 864 add link to ssh key edit page to my accounts or project admin page 68 Months Ago 68 Months Ago
Features 868 ocamlcore theme: large unused area on the sides 68 Months Ago 68 Months Ago
Features 880 do not logout on IP change 68 Months Ago 68 Months Ago
Features 921 Backup mysql 66 Months Ago 66 Months Ago
Features 995 Add documentation about adding a repo (GIT) 63 Months Ago 63 Months Ago
Features 943 desemphasize the Admin/Developper difference 65 Months Ago 65 Months Ago
Bugs 855 long project names overlap tabs 68 Months Ago 68 Months Ago
Bugs 913 Anon should have access to documentation read only by default 67 Months Ago 67 Months Ago
Bugs 915 hg repository: no web access 67 Months Ago 67 Months Ago
Bugs 501 Bad link for documentation 81 Months Ago 81 Months Ago
Bugs 796 No email notification after SVN commits 70 Months Ago 65 Months Ago
Bugs 952 hg server crash 65 Months Ago 63 Months Ago
Bugs 904 wish: clarify some project tab names 67 Months Ago 67 Months Ago
Bugs 857 default theme not refreshed after fusion forge upgrade 68 Months Ago 68 Months Ago
Bugs 884 auto-announce to OCaml Planet sends bad message 68 Months Ago 67 Months Ago
Bugs 867 approving new project for user doesn't change unix_status 68 Months Ago 56 Months Ago
Bugs 956 proposal: new CSS theme 65 Months Ago 64 Months Ago
Bugs 931 Issues with Doc Manager 65 Months Ago 64 Months Ago
Bugs 858 "Permission denied" when following links from forge RSS feed 68 Months Ago 68 Months Ago
Bugs 873 empty project unusable 68 Months Ago 68 Months Ago
Bugs 882 darcs repositoriy creation may provide the option to use "darcs-2" format 68 Months Ago 68 Months Ago
Bugs 887 Project creator not added to related Unix groups 68 Months Ago 68 Months Ago
Bugs 973 Formatting failure when news items are posted to the planet 64 Months Ago 64 Months Ago
Bugs 1176 Make sure that files dirname and tarball archive matches. 50 Months Ago 50 Months Ago
Bugs 869 Developer GIT url not shown 68 Months Ago 38 Months Ago

Romain Beauxis Contact Romain Beauxis Admin
Bugs 225 initial mailing list setup email is in French 87 Months Ago 87 Months Ago

pietro abate Contact pietro abate Admin

St├ęphane Glondu Contact St├ęphane Glondu Admin