ci: Remove unused RESTART_CI_DOCKER_BEFORE_RUN #141

pull maflcko wants to merge 1 commits into bitcoin-core:main from maflcko:main changing 1 files +3 −6

maflcko commented at 11:02 am on August 15, 2023: contributor

There is no risk in having it, but since it is no longer needed, remove it. See https://github.com/bitcoin/bitcoin/pull/28214#discussion_r1289038500

Also, re-allow lint on fork pulls. See https://github.com/bitcoin-core/guix.sigs/pull/783#discussion_r1278978460
ci: Remove unused RESTART_CI_DOCKER_BEFORE_RUN 4ba91e03db
fanquake merged this on Aug 15, 2023
fanquake closed this on Aug 15, 2023

Contributors
maflcko