fix broken github tests in options test.framework.options by disabling trace output in download_repo and fetch_files_from_pr functions#4311
Merged
branfosj merged 2 commits intoeasybuilders:5.0.xfrom Aug 7, 2023