Skip to content

chore(data): refresh arxiv signals 2026-05-30T19:59:14Z#3030

Open
0motionguy wants to merge 1 commit into
mainfrom
data/refresh-arxiv-signals-26693346488-1
Open

chore(data): refresh arxiv signals 2026-05-30T19:59:14Z#3030
0motionguy wants to merge 1 commit into
mainfrom
data/refresh-arxiv-signals-26693346488-1

Conversation

@0motionguy

Copy link
Copy Markdown
Owner

Automated data refresh from Refresh arXiv signals.

The auto-merge label is set; auto-merge-bot.yml enables
auto-merge asynchronously, which avoids the gh pr merge --auto
hang surface that timed out Twitter collectors at 90 min (see
docs/forensic/twitter-cancellation-2026-05-17.md). PR merges once
required status checks pass.

@0motionguy 0motionguy added auto-merge Bot PR — auto-merge when CI passes automation Automated data-refresh PRs from cron workflows (AGN-803) labels May 30, 2026
@github-actions github-actions Bot enabled auto-merge (squash) May 30, 2026 19:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-merge Bot PR — auto-merge when CI passes automation Automated data-refresh PRs from cron workflows (AGN-803)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant