This repository was archived by the owner on Jun 12, 2023. It is now read-only.

allow force-updating miner git tags#1472

Open

jeffgrunewald wants to merge 1 commit intomasterfrom

jg/enable_update_tags

Commits on Mar 6, 2022

allow force-updating miner git tags
jeffgrunewald
committed