December 22, 2015
About three weeks ago, I have got a notabug.org mirror for the git repository.
Enjoy it here and give it a lot of stars!
September 26, 2015
I'm happy to announce the new git mirror on CodePlex.
There are several problems though.