Skip to content

Reminder: do not create branches on the main repository  #689

Open

Description

@ipelupessy

..but fork the repository and make PR against branches on your own repo!

Activity

  1. stale commented on Mar 4, 2022

    @stale

    This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 28 days if no further activity occurs. Thank you for your contributions.

  2. added
    status: staleIssues that have been around for a while without updates
    on Mar 4, 2022
  3. pinned this issue on Apr 1, 2022
  4. removed
    status: staleIssues that have been around for a while without updates
    on Apr 1, 2022
  5. added
    status: staleIssues that have been around for a while without updates
    on May 31, 2022
  6. added
    status: keep-openThis issue should not be auto-closed by the bot
    and removed
    status: staleIssues that have been around for a while without updates
    on May 31, 2022
  7. deleted a comment from stale on May 31, 2022
  8. stale commented on Nov 19, 2025

    @stale

    This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 365 days if no further activity occurs. Thank you for your contributions.

  9. added
    area: toolingSet up of the git repository and how we use it
    and removed on Nov 25, 2025
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

    area: toolingSet up of the git repository and how we use itstatus: keep-openThis issue should not be auto-closed by the bot

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions