Skip to content

Branch "pbox" is a dead end (it never gets merged to "CAV2021" or any other main branch) #6

Open
@rospoly

Description

@rospoly

Do we need the modification in the branch "pbox"?
In case the answer is no we can delete the branch, otherwise we have to think where to merge those changes.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

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