wip: report package sizes

Added as a comment to the current pull request

ci-scripts/report-size.sh

@@ -25,19 +25,22 @@ if [ "$CI" = "true" ]; then
 	echo "Retrieved index: $pr_number"
 	echo "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number"
 
-	echo "Logging in to $GITHUB_SERVER_URL with default token"
+	comment=$(
-	tea login add --url "$GITHUB_SERVER_URL" --token "$GITHUB_TOKEN"
-	tea comment "$pr_number" "$(
 		cat <<-EOF
 			### NixOS Configurations sizes
-	
+
 			TODO
-	
+
 			### Package sizes
-	
+
 			$(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