AddDeveloper

Note: This page is partly outdated after the move to Github. This is a reminder so that people from the future may learn the plight we had to endure before GitHub.

How-to add new developer

The developer needs an account at our faculty. Let's assume her account is alice.

1. Get Rights to access the svn repository Use the tftool and execute register ultimate alice. Developers with privileges for this task: Jochen, Matthias

2. Subscribe to [email protected] mailalias a. Use the tftool and execute subscribe ultimate alice. Developers with privileges for this task: Jochen, Matthias b. Inform the new developer that he will now receives emails that are written to [email protected].

3. Set read/write permissions in the repository folders Edit /export/server/subversion/ultimate/conf/policy.conf. Be careful, if you violate the syntax of the file, no one has any permissions in the repository

4. Add to trac Admin -> Permissions Developers with privileges for this task: Daniel, Jochen, Jürgen, Matthias

5. Clarify license issue a. Explain our license: LGPL with linking exceptions, not every plugin has same license, not every plugin is public b. Explain that in Germany the code of non-employed developers (especially non-Hiwi students) belongs to them! c. Clarify that we will not allow development on Ultimate without using our license. Clarify this before the student has worked her topic. Better clarify this when you present the topic to her for the first time. d. If you have forgotten to clarify this before the student has worked on the topic, offer the student an alternative to putting her code under the license: we open a new private branch of ultimate, there she can continue her topic without any restriction, afterwards the branch gets deleted.