Skip to content

chore(deps): update bibliography submodule - #86

Merged
yegor256 merged 1 commit into
masterfrom
update-dependencies
Nov 11, 2026
Merged

yegor256 merged 1 commit into
masterfrom
update-dependencies

Conversation

@yegor256

@yegor256 yegor256 commented Nov 9, 2026

Copy link
Copy Markdown
Member

The bibliography submodule was 31 commits behind its upstream default branch. Advance it from 5b6e168 to 6130d0d, bringing in the current shared references and metadata corrections.

All 24 citation keys used by this paper still exist, and their entries are unchanged. GitHub Actions version references and the Rultor image were checked against upstream tags/releases and are already current; no open PR covers this update.

Validation:

  • git diff --check passed.
  • Paper compilation, BibTeX, texqc, and texsc passed, producing a 15-page PDF.
  • make then failed in the existing packaging script because it copies goto-pic.pdf, which is absent from the repository. This update only changes the bibliography gitlink.

Copilot AI balanced review requested due to automatic review settings November 9, 2026 17:49

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing. Review the Copilot code review billing settings.

@yegor256
yegor256 merged commit e720e18 into master Nov 11, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants