On 01/09/2014, John Meinel <j...@arbash-meinel.com> 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 Juju-dev@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/juju-dev