[jgit-dev] release 1.2 ahead
I prepared the 1.2 documentation update  and pushed it for review.
Please review that one since we need it for the release.
Unfortunately some contributor refactored the wiki into several pages
which broke the documentation build and a large number of hyper-links.
In order to get 1.2 ready before looking into this I updated the documentation
in a semi-manual way.
I think I will find the time to tag 1.2 somewhen tomorrow afternoon CET.
There are still a couple of committer changes pending for 1.2  which
could still make it into the release if some committers find the time to
The following changes seem to need more time to finish or
they are blocked since we don't want to invalidate the already
approved IP logs: