Skip to content

Missing git tags #129

Closed
Closed

Description

@jacmet

A number of releases are missing corresponding git tags, E.G.:

0.13.0
0.12.6
0.12.3
0.12.2
0.12.0
0.7.0
0.6.0
0.5.0
0.4.0
0.3.0
0.2.0
0.1.0

Can you please push these?

Activity

  1. added
    developmentIssue/PR: Modification in workflows, packaging, etc.
    on Mar 6, 2023
  2. added 4 commits that reference this issue on Mar 20, 2023
    7004f77
    c13eace
    6c14fad
    6bd8751
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    developmentIssue/PR: Modification in workflows, packaging, etc.outdatedIssue/PR: Open for more than 3 months

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions