AddDeveloper

How-to add new developer

1. Clarify license issue

• Explain our license: LGPL with linking exceptions, not every plugin has same license, not every plugin is public
• Explain that in Germany the code of non-employed developers (especially non-Hiwi students) belongs to them!
• 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.
• 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.

2. Get write access to the github repository.

• New developer needs a GitHub account.
• Invite new developer
• Developers with privileges for this task: ???

3. Subscribe to ultimate@informatik.uni-freiburg.de mailalias

• If the developer has an account at our faculty, use the tftool and execute subscribe ultimate alice (where alice is the name of her account). Developers with privileges for this task: Jochen, Matthias
• If the developer does not have an account at our faculty, follow the instructions from the SWT service website
• Inform the new developer that she will now receive emails that are written to ultimate@informatik.uni-freiburg.de.

4. Inform new developer about our coding conventions