diff options
| author | Morph <39850852+Morph1984@users.noreply.github.com> | 2021-11-08 13:36:05 -0500 |
|---|---|---|
| committer | Morph <39850852+Morph1984@users.noreply.github.com> | 2021-11-08 13:36:05 -0500 |
| commit | 84934693cf724fcdf352f9154cc328efab8cc129 (patch) | |
| tree | a799ff10a670977902d9b55c68b9672df2c23fb8 | |
| parent | ced130297568cba5787f78daf911a2a07e506c34 (diff) | |
ci: Print traceback on patch merge failure
| -rw-r--r-- | .ci/scripts/merge/apply-patches-by-label.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/scripts/merge/apply-patches-by-label.py b/.ci/scripts/merge/apply-patches-by-label.py index 43ed74d7f..b2e430ac7 100644 --- a/.ci/scripts/merge/apply-patches-by-label.py +++ b/.ci/scripts/merge/apply-patches-by-label.py @@ -1,7 +1,7 @@ # Download all pull requests as patches that match a specific label # Usage: python download-patches-by-label.py <Label to Match> <Root Path Folder to DL to> -import requests, sys, json, urllib3.request, shutil, subprocess, os +import requests, sys, json, urllib3.request, shutil, subprocess, os, traceback tagline = sys.argv[2] @@ -33,4 +33,5 @@ try: for i in range(1,30): do_page(i) except: + traceback.print_exc(file=sys.stdout) sys.exit(-1) |