diff options
| author | bunnei <bunneidev@gmail.com> | 2021-11-14 02:07:04 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-14 02:07:04 -0800 |
| commit | 7f256392a14abd929f67a1fa1831977adf1b1225 (patch) | |
| tree | c9dfec2544f44c4d5295b924a90e7982344964ff | |
| parent | 0eacc362dd520fec8f11497837718c1d7d827450 (diff) | |
| parent | 84934693cf724fcdf352f9154cc328efab8cc129 (diff) | |
Merge pull request #7305 from Morph1984/ci
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) |