Skip to content

Weekly bib refresh#4

Open
github-actions[bot] wants to merge 1 commit into
masterfrom
chore/bib-refresh
Open

Weekly bib refresh#4
github-actions[bot] wants to merge 1 commit into
masterfrom
chore/bib-refresh

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 8, 2026

Copy link
Copy Markdown
Contributor

Automated weekly refresh of publications.bib using DBLP (primary) and arXiv (fallback).

Review carefully — DBLP occasionally returns wrong venue metadata (it has confused some entries with later AAAI/conference proceedings).

How to prevent an entry from being auto-updated

Add a comment line containing the word LOCK directly above the entry, e.g.:

% LOCK -- venue is AAAI 2024 Oral; DBLP records it under AAAI 2025 (wrong)
@inproceedings{dong2024parzc,
  ...
}

The script will skip any entry whose preceding comment lines contain LOCK.

@github-actions
github-actions Bot force-pushed the chore/bib-refresh branch from 073d018 to b7face1 Compare June 15, 2026 06:10
@github-actions
github-actions Bot force-pushed the chore/bib-refresh branch 2 times, most recently from a3e0604 to 881f851 Compare June 29, 2026 06:00
@github-actions
github-actions Bot force-pushed the chore/bib-refresh branch from 881f851 to b51b2a3 Compare July 6, 2026 05:48
@github-actions
github-actions Bot force-pushed the chore/bib-refresh branch from b51b2a3 to 331c50b Compare July 13, 2026 07:44
@github-actions
github-actions Bot force-pushed the chore/bib-refresh branch from 331c50b to ee5fc5d Compare July 20, 2026 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant