Hi, apparently something went wrong with one of the recent BAD changes [1]:The Gerrit review has been merged, but the change is not in the ASF git repository [2] (or the GitHub mirror [3]).
How can we fix this?
Thanks, Till [1] https://asterix-gerrit.ics.uci.edu/#/c/2012/ [2] https://git-wip-us.apache.org/repos/asf?p=asterixdb-bad.git [3] https://github.com/apache/asterixdb-bad/commits/master
