quarkusio / quarkusio/quarkus-github-bot

Pin certain bot comments

Open
#616 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Java
Stars
30
Forks
30
PR merge metrics
No merged PRs in 30d

Description

Apologies if this is the wrong repo; I think reports are now generated by a GitHub action, but I'm not sure, and I don't know where that code is. Feel free to move the issue to the relevant repo!

I see the GitHub REST API exposes the ability to pin a comment, which makes it appear right below the PR description: https://docs.github.com/en/rest/issues/comments?apiVersion=2026-03-10#pin-an-issue-comment

It could be handy to leverage this functionality for some bot comments, such as the build reports?

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the GitHub Action or bot entry point that generates build-report comments, then review the linked GitHub REST API pin-comment endpoint. Clarify which bot comments should be pinned and confirm the relevant repository before defining completion.

Written by the indexing model from the issue text.

Assessment

Tech stack
github, github-actions
Domain
ci-cd, devtools
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.