Skip to content

[DOC] Update the guidelines on linked issues/PRs #134

Description

@mberz

The mention of "closes #issue number" is not always reliable in cases where the specific formatting is not matched.
We should add a sentence on using the "development" section in the right hand menu bar to properly link issues and pull requests.

Activity

  1. self-assigned this
    on Feb 20, 2026
  2. moved this to Agenda in Weekly Planningon Feb 20, 2026
  3. moved this from Agenda to Ready for pickup in Weekly Planningon Feb 20, 2026
  4. removed their assignment
    on Feb 20, 2026
  5. MrIridescent commented on Feb 20, 2026

    @MrIridescent

    Hi! I'd like to take a look at this. I'm new to the project but I've fixed similar issues before. I'll submit a PR shortly.

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

    documentationImprovements or additions to documentationgood first issueGood for newcomers

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions