DeveloperInstructions

Developer Instructions

General:

• Work on branches, merge when you're finished.
• Do not merge unfinished feature branches! If you do, God will have to rebase and everyone will have to suffer!

1. Create a branch: git branch BRANCHNAME.
2. Checkout a branch: git checkout BRANCHNAME.
3. Do your work.
4. When done, git checkout master.
5. Merge: git merge BRANCHNAME.

• Create some useful aliases:
• git config alias.graph "log --graph --oneline --all --decorate"

How to git:

1. Clone the repo using git clone. See the main page for a suitable url to clone from.
2. Add changes to the index using git add
3. Check what will be in your commit with git diff --cached before committing.
4. git commit.
5. Check git graph after you committed.
6. git push.

How to make a release:

1. Open code/defaults/preferences/firetag.js and increase the value of the preference extensions.dfki.FireTag.installVersion (first line)
2. Call ant from the root directory of the project.
3. git commit
4. Tag the release: git tag -a VERSIONNUMBER REPLACE VERSIONNUMBER by the version number used in step 1.
5. Check git graph after you committed.
6. git push
7. git push --tags