Skip to content

update nixpkgs lock after mailman change#1930

Merged
platform-pr-manager[bot] merged 1 commit intofc-25.05-devfrom
PL-133981-update-nixpkgs-lock
Nov 5, 2025
Merged

update nixpkgs lock after mailman change#1930
platform-pr-manager[bot] merged 1 commit intofc-25.05-devfrom
PL-133981-update-nixpkgs-lock

Conversation

@leona-ya
Copy link
Copy Markdown
Member

@leona-ya leona-ya commented Nov 5, 2025

PL-133981

@flyingcircusio/release-managers

Release process

  • Created changelog entry using ./changelog.sh

PR release workflow (internal)

  • PR has internal ticket
  • internal issue ID (PL-…) part of branch name
  • internal issue ID mentioned in PR description text
  • ticket is on Platform agile board
  • ticket state set to Pull request ready
  • if ticket is more urgent than within the next few days, directly contact a member of the Platform team
  • set urgency and risk labels
  • ensure the merge bot has determined a merge date
  • ensure all checks are green
  • get a review from a colleague

Design notes

  • Provide a feature toggle if the change might need to be adjusted/reverted quickly depending on context. Consider whether the default should be on or off. Example: rate limiting.
  • All customer-facing features and (NixOS) options need to be discoverable from documentation. Add or update relevant documentation such that hosted and guided customers can understand it as well.

Security implications

@leona-ya leona-ya requested a review from osnyx November 5, 2025 06:56
@leona-ya leona-ya added risk: 1 very low risk urgency: 5 very high urgency labels Nov 5, 2025
@github-actions
Copy link
Copy Markdown

github-actions bot commented Nov 5, 2025

This PR is ready to merge. Merge scheduled for 2025-11-05

@platform-pr-manager platform-pr-manager bot merged commit 41d2cd1 into fc-25.05-dev Nov 5, 2025
8 checks passed
@platform-pr-manager platform-pr-manager bot deleted the PL-133981-update-nixpkgs-lock branch November 5, 2025 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-merge scheduled risk: 1 very low risk urgency: 5 very high urgency

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants