oidc-exchange: context manager

Signed-off-by: William Woodruff <[email protected]>

Author: woodruffw

oidc-exchange.py

@@ -8,11 +8,12 @@
 import id
 import requests
 
-_GITHUB_STEP_SUMMARY = Path(os.getenv("GITHUB_STEP_SUMMARY")).open("a")
+_GITHUB_STEP_SUMMARY = Path(os.getenv("GITHUB_STEP_SUMMARY"))
 
 
 def die(msg: str) -> NoReturn:
-    print(msg, file=_GITHUB_STEP_SUMMARY)
+    with _GITHUB_STEP_SUMMARY.open("a") as io:
+        print(msg, file=io)
 
     # NOTE: `msg` is Markdown formatted, so we emit only the header line to
     # avoid clogging the console log with a full Markdown formatted document.