File 0233-gh-Fix-5d4a98174c9-to-work-properly.patch of Package erlang

From cb59af227029c59729ba858dcf8411c1d8af5d7d Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Tue, 16 Aug 2022 17:01:00 +0200
Subject: [PATCH 3/3] gh: Fix 5d4a98174c9 to work properly

---
 .github/scripts/get-pr-number.es | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/scripts/get-pr-number.es b/.github/scripts/get-pr-number.es
index 981d79b107..e358d9eed1 100755
--- a/.github/scripts/get-pr-number.es
+++ b/.github/scripts/get-pr-number.es
@@ -24,7 +24,7 @@ decode(Data) ->
         {with_tail, Json, <<>>} ->
             Json;
         {with_tail, Json, Tail} ->
-            Json ++ decodeTail(Tail)
+            lists:concat([Json | decodeTail(Tail)])
     catch E:R:ST ->
             io:format("Failed to decode: ~ts",[Data]),
             erlang:raise(E,R,ST)
@@ -35,7 +35,7 @@ decodeTail(Data) ->
         {with_tail, Json, <<>>} ->
             [Json];
         {with_tail, Json, Tail} ->
-            Json ++ decodeTail(Tail)
+            [Json | decodeTail(Tail)]
     catch E:R:ST ->
             io:format("Failed to decode: ~ts",[Data]),
             erlang:raise(E,R,ST)
-- 
2.35.3