[Jredmine-commits] [jredmine] 02/02: fixes #3531: Migrates to git fixes #3255: Use pom and use new site layout