Code

[Promotion] Release manager script#16661

Code

Draft

dkijania wants to merge 1 commit intocompatibleMinaProtocol/mina:compatiblefrom dkijania/release_manager_scriptsMinaProtocol/mina:dkijania/release_manager_scriptsCopy head branch name to clipboard

+1,125

Commits

Commits on Feb 21, 2025

• introduce release/manager.sh script for promoting scripts outside the CI

  dkijania

  committed
  028578a

  Copy full SHA for 028578a