https://pantsbuild.org/ logo
#development
Title
# development
p

proud-dentist-22844

02/24/2023, 8:31 PM
No. This would be someone who has a GHA workflow setup to post those comments. GHA workflows can trigger on a variety of things including issue creation, merged PRs, etc. When you post a comment with the GHA token, it shows as user “github-actions”.