On 01/09/2014, John Meinel <[email protected]> wrote:
>
> Is there some amount of caching going on somewhere? (I also noticed it took
>>7minutes for the bot to notice a $$merge$$ request, so maybe it does the
> check somehow asynchronously to processing the requests?)
Maybe it was something timing related. At any rate, manually running
the script shows it's happy now.
$ python check_blockers.py master 562
No blocking bugs
Can do this by getting the script from lp:juju-ci-tools with the
params as what you want to merge into, and the pull request number.
I see the proposal has still not landed, despite some subsequent
comments with the merge directive. However, William has also left some
additional comments, so I guess we leave it till that's all addressed?
Martin
--
Juju-dev mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/juju-dev
