Skip to content

Who can merge a PR #3717

@tobolar

Description

@tobolar

As the positions ot the project leader and project deputy of this MAP-LIB are vacant at the moment, I wonder who is in charge to merge the pull requests which passed all the checks.
IMO, anyone from MAP-LIB or package officers seem reasonable.

Metadata

Metadata

Assignees

No one assigned

    Labels

    discussionDiscussion issue that it not necessarily related to a concrete bug or feature

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions