tree fe3a9f932f500b97d25b75fbf584ca53ac2b0781
parent 74f9d8e76d5014d218ae6fe55127a5288c9a32c3
author David Pursehouse <dpursehouse@digital.ai> 1592796753 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1592797034 +0900

maven_jar: Add support for ECLIPSE repo

This allows plugins to consume artifacts from the Eclipse Maven
Repository, which is used for example for JGit m-releases.

Change-Id: I9b197e542f788ee4cd4381830a52f533fb1cd4fa