Skip to content

Device Interface Version 75 #847

@marktsuchida

Description

@marktsuchida

Let's plan to merge

as DIV 75.

This time I think I will try a new way to organize this:

  • Each PR requiring DIV bump will bump the DIV to 75 on their branch
  • I will create a merge-train PR that merges all the individual PRs (possibly an octopus merge)
  • When we merge the merge-train PR, main atomically gets the DIV bumped and GitHub will mark the individual PRs merged
  • The single merge into main will be tagged device-interface-75

I still need to create the PRs for those 4 "small" issues (some do require device cleanup), so the merge will be no sooner than next Monday (Feb 23).

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