tree 5a3c6febfb0e926184057225a8425fd7e5060aca
parent 715a561d53c66d9bdf3e908ab6b30147b1aa337e
author David Ostrovsky <david@ostrovsky.org> 1366320786 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1368023910 +0100

Bump gitblit version to 1.3.0-SNAPSHOT

GitBlit supports now JGit 3.0.0-SNAPSHOT upstream 
and has a different way of expressing its configuration:
- reference.properties
  used only internally for getting the model meta-data 
  of config. items
- gitblit.proprties
  used to get the actually GitBlit configuration items

GitBlit plugin now reflects the same structure, using 
the gitblit.properties under the src/main/resources 
folder (without the deep package structure, to
ease its customisation for ad-hoc builds).

Settings that are *ABSOLUTELY* needed 
(i.e. User realms handler) are now set
internally in GitBlit plugin code.

Change-Id: I0327a6ae61f6d741dc0bbd0ec6f5d6887f299daf