From ba9efad1523bba41f893887a6ca03e62dec4c507 Mon Sep 17 00:00:00 2001
From: Andreas Rammhold <andreas@rammhold.de>
Date: Sun, 16 May 2021 18:09:01 +0200
Subject: [PATCH] Fix the vec_init_then_push clippy lint

---
 ofborg/src/tasks/githubcommentposter.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ofborg/src/tasks/githubcommentposter.rs b/ofborg/src/tasks/githubcommentposter.rs
index 16dd07b..de4bc81 100644
--- a/ofborg/src/tasks/githubcommentposter.rs
+++ b/ofborg/src/tasks/githubcommentposter.rs
@@ -157,6 +157,8 @@ fn result_to_check(result: &LegacyBuildResult, timestamp: DateTime<Utc>) -> Chec
         ));
     }
 
+    // Allow the clippy violation for improved readability
+    #[allow(clippy::vec_init_then_push)]
     let text: String = if !result.output.is_empty() {
         let mut reply: Vec<String> = vec![];