Skip to content

master vs dev? #1943

@jyegerlehner

Description

@jyegerlehner

I must have missed something. Docs used to instruct us to rebase PRs against dev, and now I see the docs say master. Is that right? What is the status of the dev branch? Deprecated? So any PR that's open would need to be updated before it can be merged, and is that simply a matter of rebasing off master? Thanks in advance if anyone can unconfuse me.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions