infra-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Sebb (JIRA)" <>
Subject [jira] [Created] (INFRA-15973) Github PRs don't appear to be unique
Date Fri, 02 Feb 2018 19:24:00 GMT
Sebb created INFRA-15973:

             Summary: Github PRs don't appear to be unique
                 Key: INFRA-15973
             Project: Infrastructure
          Issue Type: Bug
          Components: Github
            Reporter: Sebb

Some Github PR numbers have been duplicated.
This means that the PR cannot be used to uniquely identify the PR.
This can affect the historical record.

For example [1] and [2] have the same PR numbers in different years.

This may be a one-off for this particular git repo.
Ideally the cause needs to be identified so the problem can be fixed/avoided in future.


This message was sent by Atlassian JIRA

View raw message