wip: report package sizes

Added as a comment to the current pull request

ci-scripts/report-size.sh

@@ -25,7 +25,9 @@ if [ "$CI" = "true" ]; then
 	echo "Retrieved index: $pr_number"
 	echo "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number"
 
-	comment=$(
+	echo "Logging in to $GITHUB_SERVER_URL with default token"
+	tea login add --url "$GITHUB_SERVER_URL" --token "$GITHUB_TOKEN"
+	tea comment "$pr_number" "$(
 		cat <<-EOF
 			### NixOS Configurations sizes
 	
@@ -35,12 +37,7 @@ if [ "$CI" = "true" ]; then
 	
 			$(package_size_table)
 		EOF
-	)
+	)"
-	echo "Posting comment: $comment"
-	curl -X 'POST' \
-		"$GITHUB_API_URL/repos/$GITHUB_REPOSITORY/issues/$pr_number/comments?token=$GITHUB_TOKEN" \
-		-H 'accept: application/json' \
-		-d "$(echo '{}' | jq --arg comment "$comment" '.body=$comment')"
 else
 	package_size_table
 fi