mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-17 13:07:54 +02:00
Merge 4604508363 into merged_master (Bitcoin PR bitcoin/bitcoin#25070)
This commit is contained in:
commit
493dc98fdf
1 changed files with 1 additions and 1 deletions
|
|
@ -88,7 +88,7 @@ def main():
|
|||
verified_sha512_root = f.read().splitlines()[0]
|
||||
with open(dirname + "/allow-revsig-commits", "r", encoding="utf8") as f:
|
||||
revsig_allowed = f.read().splitlines()
|
||||
with open(dirname + "/allow-unclean-merge-commit", "r", encoding="utf8") as f:
|
||||
with open(dirname + "/allow-unclean-merge-commits", "r", encoding="utf8") as f:
|
||||
unclean_merge_allowed = f.read().splitlines()
|
||||
with open(dirname + "/allow-incorrect-sha512-commits", "r", encoding="utf8") as f:
|
||||
incorrect_sha512_allowed = f.read().splitlines()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue