tree 3e00efd688a6344ec47ff93fadb790b1ea98f137
parent 94d2ad6aef4b28e073929ff3f191505f4db2f7de
author David Ostrovsky <david@ostrovsky.org> 1528948660 +0200
committer David Ostrovsky <david@ostrovsky.org> 1528949776 +0200

Update bazlets to latest revision on stable-2.15

- Add optional dir_name argument to gerrit_plugin
- gerrit_plugin: Improve stamping error message
- Upgrade Gerrit API to version 2.15.2
- Merge branch 'stable-2.14' into stable-2.15
- Set Gerrit API snapshot version to 2.15.2-SNAPSHOT

Change-Id: Ie7c36939af9ae885df34d7631494d16b22de37af