DashboardpublishDistillation

Distillation

ID: 20d1eef3-9710-45e6-859b-e36c7ff66f59
Session: 0FSl746ahuuJ
Generation: 0
Tokens: 1194
R_compression: 9.386
C_norm: 0.000
Archived: No
Created: 2026-09-10 14:13:04
Source IDs:
["lore_tm_v1_R3iwo-UUrgdv42RxWhrGCQqVlGHfa1P_3cV9IfgZbx8","lore_tm_v1_3FiLVBxnV6eLjIh1Dqrb_HxNz4lIVDKoopjL7OQG7Pw","lore_tm_v1_RICG01PIbsLc_VXrF13EudxKWHD7ShJC60ima3eev-w"]

Observations

🔴 (12:16) GitHub Actions workflow triggers can originate from repository activity, schedules, or events outside GitHub; not all webhook events trigger workflows, and events with multiple activity types can be filtered by activity type. 🔴 (12:16) The branch_protection_rule workflow trigger supports activity types created, edited, and deleted; GITHUB_SHA is the last commit on the default branch and GITHUB_REF is the default branch. 🔴 (12:16) The check_run workflow trigger supports activity types created, rerequested, completed, and requested_action; GITHUB_SHA is the last commit on the default branch and GITHUB_REF is the default branch. 🔴 (12:16) The pull_request workflow trigger supports activity types, in order: assigned, unassigned, labeled, unlabeled, opened, edited, closed, reopened, synchronize, converted_to_draft, locked, unlocked, enqueued, dequeued, milestoned, demilestoned, ready_for_review, review_requested, review_request_removed, auto_merge_enabled, and auto_merge_disabled; its ref is refs/pull/PULL_REQUEST_NUMBER/merge. 🔴 (12:16) The pull_request_review workflow trigger supports activity types submitted, edited, and dismissed; its ref is refs/pull/PULL_REQUEST_NUMBER/merge. 🔴 (12:16) For pull requests from forks, secrets other than GITHUB_TOKEN are not passed to the runner, and GITHUB_TOKEN has read-only permissions. 🔴 (12:19) /home/byk/Code/getsentry/publish/auto-approve-repos.txt contains exactly 46 entries, in order: 1. getsentry/arroyo; 2. getsentry/auto-type-annotate; 3. getsentry/devenv; 4. getsentry/infra-event-notifier; 5. getsentry/jest-sentry-environment; 6. getsentry/json-schema-diff; 7. getsentry/js-source-scopes; 8. getsentry/objectstore/clients; 9. getsentry/ophio; 10. getsentry/pdb; 11. getsentry/pyo3-python-tracing-subscriber; 12. getsentry/pytest-sentry; 13. getsentry/relay/py; 14. getsentry/responses; 15. getsentry/rust-proguard; 16. getsentry/rust-sourcemap; 17. getsentry/rust-usage-accountant; 18. getsentry/script-runner; 19. getsentry/sentry-api-schema; 20. getsentry/sentry-forked-djangorestframework-stubs; 21. getsentry/sentry-forked-django-stubs; 22. getsentry/sentry-forked-jsonnet; 23. getsentry/sentry-infra-tools; 24. getsentry/sentry-kafka-management; 25. getsentry/sentry-kafka-schemas; 26. getsentry/sentry-protos; 27. getsentry/sentry-redis-tools; 28. getsentry/service-registry; 29. getsentry/skrooge; 30. getsentry/snuba-sdk; 31. getsentry/statsdproxy; 32. getsentry/status-page-list; 33. getsentry/streams/sentry_streams; 34. getsentry/symbolic; 35. getsentry/taskbroker/clients; 36. getsentry/usage-accountant; 37. getsentry/watto; 38. getsentry/sentry; 39. getsentry/snuba; 40. getsentry/vroom; 41. getsentry/relay; 42. getsentry/symbolicator; 43. getsentry/taskbroker; 44. getsentry/uptime-checker; 45. getsentry/launchpad; 46. getsentry/self-hosted. 🔴 (12:23) GitHub’s authenticated-user endpoint is GET /user; OAuth app tokens and personal access tokens (classic) require read:user or broader user scope for a private-user response, otherwise they receive the public-user response. 🔴 (12:23) GET /user can return HTTP 200 OK, 304 Not modified, 401 Requires authentication, or 403 Forbidden. 🔴 (12:23) GitHub’s public user endpoint is GET /users/USERNAME; for private profiles, followers and following are 0 unless the request is authenticated as that user. 🔴 (12:23) User directed: replace {/privacy} with /public in the events_url URI template to retrieve only public events; omitting it retrieves public events plus private events when authenticated as that user. 🔴 (12:23) Requests for an Enterprise Managed User, or a GitHub App bot installed in an Enterprise Managed Users organization, must authenticate as a user or GitHub App with organization access; unauthorized requests return 404 Not Found. 🔴 (12:23) The email field from GET /users/USERNAME is the publicly visible profile email and is null when no public email is configured; publicly visible email addresses are only returned when authenticated.