-
Notifications
You must be signed in to change notification settings - Fork 38
Open
Labels
help wantedA label for issues where help is wanted.A label for issues where help is wanted.minorA label for issues or PRs that are not major.A label for issues or PRs that are not major.newcomer-friendlyA label for issues that are good for first time contributors.A label for issues that are good for first time contributors.
Description
The old Bitbucket repo is now no longer available. Therefore, URLs such as https://bitbucket.org/james-d-mitchell/semigroups/issue/108 that exist in CHANGELOG.md are broken.
However, we (i.e. James) transferred the contents of these issues to the GitHub issue tracker when we made that migration. Therefore we could update the Bitbucket URLs to instead point at the corresponding GitHub URLs.
Unfortunately, this would require some manual work, since the numbering was not maintained. For example, https://bitbucket.org/james-d-mitchell/semigroups/issue/108 became #106 on GitHub (i.e. 108 → 106).
So it's probably best to give this job to a lowly individual such as an undergraduate or @mtorpey.
Metadata
Metadata
Assignees
Labels
help wantedA label for issues where help is wanted.A label for issues where help is wanted.minorA label for issues or PRs that are not major.A label for issues or PRs that are not major.newcomer-friendlyA label for issues that are good for first time contributors.A label for issues that are good for first time contributors.