I just updated contributors/developers page, especially I'd like to welcome Robin on board
He received newly created developer role, the Webmaster. Whoo, hoo - we have 5 developers now and 3 contributors, that makes 8 people working on project, and more working on getting first contribution in!
I also updated documentation to mirror new role and ticketing system changes. There is now priority and type for tickets made by developers, and contribution tickets for future contributors. I also cleaned up whole documentation using three tools: ASpell dictionary, LanguageTool grammar checker and After the Deadline contextual spell/grammar/style checker. Finally, I adjusted ./generate.sh script to fix misconfigured git accounts in history, so autogenerated revision history displays proper names, and added special clause to who can become developer - person must provide us with real name, if someone does not give us real name, we cannot make the promotion. I'd like to urge people who do not want to give their names, you are writing your name under your work you should be proud of, so don't hide - all current developers do not. Oh, and one more thing - I created "communication" wave to which all developers and contributors are added. People added should already get e-mail about unread waves. This will be I hope best way to setup meetings in future. New documentation is uploaded as PDF in download area of our github account.
And that's all for today - one more time hip-hip for our new team member