2014-11-05 17:25 GMT+03:00 Daniel-Constantin Mierla miconda@gmail.com:
Hello,
as most of you know, we have a rather distributed infrastructure, with servers provided from different companies or persons.
One thing is certain - move git and bugtracker to github.