Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Minimize tweaks #53

Merged
merged 12 commits into from
Dec 12, 2023
Merged

Minimize tweaks #53

Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
c3784bd
add newlines for better minimizing formatting
dan-mm Nov 14, 2023
4a61398
Merge branch 'main' into minimize-tweaks
dan-mm Nov 21, 2023
6cd158a
try with --data-binary to see if newlines get properly sent
dan-mm Nov 21, 2023
150c1fb
try with printf
dan-mm Nov 21, 2023
d8de43e
ngrok showcase
dan-mm Nov 24, 2023
15bcae2
ngrok showcase
dan-mm Nov 24, 2023
9180082
Merge branch 'main' into minimize-tweaks
dan-mm Nov 30, 2023
d94d248
cleaner minimize output; checks comments on both user (bot) and Eco-C…
dan-mm Nov 30, 2023
426a32f
try with different indenting
dan-mm Nov 30, 2023
1a86831
one more push to showcase minimizing in PR
dan-mm Nov 30, 2023
7984822
Merge branch 'main' into minimize-tweaks
dan-mm Nov 30, 2023
b1e2b68
removed floating ngrok
dan-mm Dec 1, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 9 additions & 4 deletions action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -165,12 +165,17 @@ runs:
run: |
COMMENTS=$(curl -s -H "Authorization: Bearer ${{github.token}}" "https://${{inputs.api-base}}/repos/${{ github.repository }}/issues/$PR_NUMBER/comments")

# Use jq to parse the comments and get comments made by this bot
echo "$COMMENTS" | jq -c --arg username "github-actions[bot]" '.[] | select(.user.login == $username)' | while read -r comment; do
echo "$COMMENTS" | jq -c --arg username "github-actions[bot]" '.[] | select(.user.login == $username and (.body | index("Eco-CI") // false))' | while read -r comment; do
COMMENT_ID=$(echo "$comment" | jq -r '.id')
COMMENT_BODY=$(echo "$comment" | jq -r '.body')
COMMENT_BODY=$(echo "$COMMENT_BODY" | sed 's/<details><summary>Old Energy Estimation<\/summary>//g' | sed 's/<\/details>//g')
PAYLOAD=$(jq --null-input --arg body "<details><summary>Old Energy Estimation</summary>$COMMENT_BODY</details>" '{"body": $body}')
INNER_BODY=$(echo "$COMMENT_BODY" | sed 's/<details><summary>Old Energy Estimation<\/summary>//g' | sed 's/<\/details>//g')

## indentation here is important, otherwise newlines are not properly sent/processed
PAYLOAD=$(jq --null-input --arg body "<details><summary>Old Energy Estimation</summary>

$INNER_BODY

</details>" '{"body": $body}')
curl -s -H "Authorization: Bearer ${{github.token}}" -X PATCH -d "$PAYLOAD" "https://${{inputs.api-base}}/repos/${{ github.repository }}/issues/comments/$COMMENT_ID"
echo "Comment $COMMENT_ID collapsed."
done
Expand Down