Skip to content

Add more capability to push github releases to release_tools.py #1031

@aiuto

Description

@aiuto

There are canned github workflows to do releases.
But they are subtle to improve and nearly impossible to test.

We could build tools that handled (and were testable) for

  • dealing with multiple modules in a repository
  • stuffing the version into MODULE.bazel
  • modifying MODULE.bazel to point to the preferred versions of releated modules
  • creating the tag
  • creating the release
  • building the archive tarball
  • verifying the archive tarball

Metadata

Metadata

Assignees

No one assigned

    Labels

    P3An issue that we are not working on but will review quarterlyfeature-request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions