From c7c71ab569b3d196c3a4d830d1338578b02aeefe Mon Sep 17 00:00:00 2001 From: Tobias Ulmer Date: Fri, 3 May 2019 19:35:35 +0200 Subject: [PATCH] git: use policy module to reliably access flags Signed-off-by: Tobias Ulmer --- plugins/git.lua | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/git.lua b/plugins/git.lua index ad641c3..17389c4 100644 --- a/plugins/git.lua +++ b/plugins/git.lua @@ -29,6 +29,7 @@ local err = require("err") local generic_git = require("generic_git") local hash = require("hash") local licence = require("licence") +local policy = require("policy") local result = require("result") local source = require("source") local strict = require("strict") @@ -284,7 +285,7 @@ function git.git_source:sourceid(sourceset) "sourceset arg invalid") local rc, re, id, hc - local check_remote = e2option.opts["check-remote"] or false + local check_remote = policy.opts.check_remote() assertIsBoolean(check_remote) if self._sourceids[sourceset] then -- 2.39.5