Misc fixes

See individual commits.

mrhlpr/mr.py

@@ -564,7 +564,7 @@ def finish(
         print("Adding the comment...")
         mr.notes.create({"body": comment})
 
-    iterations: Final[int] = 5
+    iterations: Final[int] = 10
     sleep_time: Final[int] = 5
     # Proper stupid but it works. Originally I had this set to a maximum of 15 seconds
     # of sleepy time, but for gitlab.postmarketos.org this wasn't always sufficient to catch up.