Skip to content

Restore release version 2.5.1 - #272

Merged
pedrohcgs merged 1 commit into
masterfrom
release/restore-2.5.1
Jul 30, 2026
Merged

Restore release version 2.5.1#272
pedrohcgs merged 1 commit into
masterfrom
release/restore-2.5.1

Conversation

@pedrohcgs

@pedrohcgs pedrohcgs commented Jul 30, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Restore DESCRIPTION from development version 2.5.1.1 to release version 2.5.1.
  • Keep the package on the published 2.5.1 release line.

Cause

PR #271 was a release-site update but did not carry the repository's release label. The post-merge workflow therefore treated it as a regular development PR and created a separate version-bump commit.

Safety

This PR changes only the Version: field in DESCRIPTION. It carries the release label so the post-merge development-version workflow will skip it.

Validation

  • Parsed DESCRIPTION successfully.
  • Confirmed the exact version is 2.5.1.
  • Confirmed the diff contains one changed line in one file.
  • git diff --check passes.

@pedrohcgs pedrohcgs added the release CRAN release PR: skip the dev-version bump on merge label Jul 30, 2026
Copilot AI review requested due to automatic review settings July 30, 2026 05:44

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.

Pull request overview

This PR restores the R package metadata version in DESCRIPTION from a development suffix (2.5.1.1) back to the published release line (2.5.1), aligning the repository’s declared version with the intended release state.

Changes:

  • Update Version: in DESCRIPTION from 2.5.1.1 to 2.5.1.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@pedrohcgs
pedrohcgs merged commit 71ba8a5 into master Jul 30, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release CRAN release PR: skip the dev-version bump on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants