GlcoinCore/elements
1
0
Fork 0
mirror of https://github.com/ElementsProject/elements.git synced 2026-08-15 12:51:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge 8a179079e0 into merged_master (Elements PR #1214)

Browse source
This commit is contained in:
James Dorfman 2023-03-13 05:27:13 +00:00
commit 00d4bcd085
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
contrib/review-prs.py
View file

@ -144,7 +144,7 @@ def get_merged_commits():
fromgui = False
fromsecp = False
if m is not None:
[date, cid, merged_cid, chain, repo, prno, trailing] = m.groups()
if chain == "Bitcoin":
@ -326,7 +326,7 @@ def main() -> None:
print("** COMMIT WE ARE REVIEWING:")
os.system(f"git -C {WQ} log -1 --pretty=full {cid}")
print()
def diff4():
os.system(f"git -C {WQ} diff {GIT_DIFF_OPTS} HEAD {cid}")