gerrit_plugin( | |
name = 'plugin-manager', | |
srcs = glob(['src/main/java/**/*.java']), | |
resources = glob(['src/main/**/*']), | |
manifest_entries = [ | |
'Gerrit-PluginName: plugin-manager', | |
'Gerrit-ApiType: plugin', | |
'Gerrit-HttpModule: com.googlesource.gerrit.plugins.manager.WebModule', | |
'Implementation-Title: Plugin manager', | |
'Implementation-URL: https://gerrit-review.googlesource.com/#/admin/projects/plugins/plugin-manager', | |
], | |
) |